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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners