GeographicArea(geographic area) |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 985-985 | The number 1 argument of average temperature for period is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | People.kif 1527-1527 | The number 3 argument of belief group percent in region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2611-2611 | The number 1 argument of bioindicator for habitat is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 964-964 | The number 1 argument of claimed territory is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1245-1245 | The number 1 argument of climate type in area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1657-1657 | The number 1 argument of cold season in area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 646-646 | The number 1 argument of comparative area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 650-650 | The number 4 argument of comparative area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1637-1637 | The number 1 argument of cool season in area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 544-544 | The number 2 argument of delivery region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1626-1626 | The number 1 argument of dry season in area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2455-2455 | The number 1 argument of environmental problem type in area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | People.kif 1546-1546 | The number 3 argument of ethnicity percent in region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14047-14047 | The number 1 argument of geographic subregion is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14048-14048 | The number 2 argument of geographic subregion is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30379-30379 | The number 2 argument of habitat of organism is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 997-997 | The number 1 argument of highest temperature for period is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1647-1647 | The number 1 argument of hot season in area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2209-2209 | The number 1 argument of irrigated land area is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 538-538 | The number 1 argument of land area only is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | People.kif 1565-1565 | The number 3 argument of language percent in region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 174-174 | The number 1 argument of length of broad gauge railway is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 705-705 | The number 1 argument of length of crude oil pipeline is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 202-202 | The number 1 argument of length of dual gauge railway is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 118-118 | The number 1 argument of length of electrified railway is an instance of geographic area |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |