Changes between Version 2 and Version 3 of IdsAdiTemplateAxiomatizationTools
- Timestamp:
- 11/05/09 21:52:40 (15 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
IdsAdiTemplateAxiomatizationTools
v2 v3 30 30 == Template axioms == 31 31 32 For !IsCustodianOf an axiom could say, the ''Parent'' stands in a 33 parenthood relationship of type ''CustodyRelation'' to the ''Child''. 32 For !IsCustodianOf an axiom could say, the ''Parent'' stands in a parenthood relationship of type ''!CustodyRelation'' to the ''Child''. 34 33 35 34 For !ClassificationOfIndividual (in Part 7), the rule is as follows.