North(north) | N, boreal, circumboreal, compass_north, due_north, magnetic_north, north, north-central, north_side, northbound, northerly, northern, northernmost, northernness, northmost, northward, northwards, septrional, upstate |
appearance as argument number 1 |
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. | chinese_format.kif 3804-3804 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17013-17013 | |
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 17011-17011 | North is an instance of directional attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18133-18133 | South is an opposite direction of north |
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 | Caribbean region is north to south america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 275-275 | Europe is north to africa |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 287-287 | Middle america is north to south america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 278-278 | North america is north to south america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6951-6951 | Scotland is north to England |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6964-6964 | Scotland is north to Wales |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17018-17020 | An object is north to another object if and only if the other object is south to the object |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 433-440 |
|
consequent |