First page Back Continue Last page Summary Graphic
Final Details of CycL
Rule macro predicates
- (forAll ?A
- (implies
- (isa ?A Animal)
- (thereExists ?M
- (mother ?A ?M))))
replaced with
- (relationAllExists mother Animal Animal)
Non-atomic terms
- Functional terms: (FruitFn AppleTree)
- Reifiable versus non-reifiable functions