![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17034-17034 | North est l'oppos� de South |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3804-3804 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17035-17035 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1870-1870 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17033-17033 | North est une instance de attribut directionnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18132-18132 | oppositeDirection North and South |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40947-40947 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40946-40946 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40945-40945 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 289-289 | CaribbeanRegion est North � SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 275-275 | Europe est North � Africa |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 287-287 | MiddleAmerica est North � SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 278-278 | NorthAmerica est North � SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6951-6951 | Scotland est North � England |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6964-6964 | Scotland est North � Wales |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17040-17042 | Objet est North � objet objet est South � objet |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 433-440 |
|
consequent |
![]() |
![]() |
![]() |