|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 985-985 | 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 14047-14047 | 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 14048-14048 | 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 30379-30379 | 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 997-997 | 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