South(south) | S, austral, due_south, in_the_south, meridional, south, south-central, south_side, southbound, southerly, southern, southernmost, southernness, southmost, southward, southwards, to_the_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 17016-17016 | |
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 17015-17015 | 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 17012-17012 | North is the opposite of south |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18133-18133 | 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 |