![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3805-3805 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17038-17038 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1994-1994 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17037-17037 | South est une instance de attribut directionnel |
appearance as argument number 2 |
![]() |
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. | Mid-level-ontology.kif 18132-18132 | oppositeDirection North and South |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54036-54036 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54035-54035 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54034-54034 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 290-290 | CaribbeanRegion est South � NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 288-288 | MiddleAmerica est South � NorthAmerica |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 433-440 |
|
consequent |
![]() |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 588-588 | FrenchSouthernAndAntarcticLands est situ� � DirectionalSubregionFn South and IndianOcean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4662-4669 | objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s) and 0.0 ArcMinute(s) and LongitudeFn East, 0.0 AngularDegree(s) and 0.0 ArcMinute(s) |
![]() |
![]() |