No TPTP formula. May not be expressible in strict first order.	Weather.kif 981-981	O argumento numero 1 de averageTemperatureForPeriod e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	People.kif 1527-1527	O argumento numero 3 de beliefGroupPercentInRegion e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2611-2611	O argumento numero 1 de bioindicatorForHabitat e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 964-964	O argumento numero 1 de claimedTerritory e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1245-1245	O argumento numero 1 de climateTypeInArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1657-1657	O argumento numero 1 de coldSeasonInArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 646-646	O argumento numero 1 de comparativeArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 650-650	O argumento numero 4 de comparativeArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1637-1637	O argumento numero 1 de coolSeasonInArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Dining.kif 544-544	O argumento numero 2 de deliveryRegion e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1626-1626	O argumento numero 1 de drySeasonInArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2455-2455	O argumento numero 1 de environmentalProblemTypeInArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	People.kif 1546-1546	O argumento numero 3 de ethnicityPercentInRegion e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14069-14069	O argumento numero 1 de geographicSubregion e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14070-14070	O argumento numero 2 de geographicSubregion e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30367-30367	O argumento numero 2 de habitatOfOrganism e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Weather.kif 993-993	O argumento numero 1 de highestTemperatureForPeriod e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1647-1647	O argumento numero 1 de hotSeasonInArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2209-2209	O argumento numero 1 de irrigatedLandArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 538-538	O argumento numero 1 de landAreaOnly e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	People.kif 1565-1565	O argumento numero 3 de languagePercentInRegion e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 174-174	O argumento numero 1 de lengthOfBroadGaugeRailway e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 705-705	O argumento numero 1 de lengthOfCrudeOilPipeline e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 202-202	O argumento numero 1 de lengthOfDualGaugeRailway e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 118-118	O argumento numero 1 de lengthOfElectrifiedRailway e' uma instancia de Area Geografica
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