South
|
|
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 is an instance of directional attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17034-17034 | North is the opposite of south |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18132-18132 | South is an opposite direction of north |
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 | Caribbean region is south to north america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 288-288 | Middle america is south to north america |
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 | French southern and antarctic lands is located at the directional subregion of south and indian ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4662-4669 | The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east |