|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 562-562 | O argumento numero 1 de lengthOfExpresswaySystem e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 146-146 | O argumento numero 1 de lengthOfMultipleTrackRailway e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 230-230 | O argumento numero 1 de lengthOfNarrowGaugeRailway e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 728-728 | O argumento numero 1 de lengthOfNaturalGasPipeline e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 536-536 | O argumento numero 1 de lengthOfPavedHighway e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 751-751 | O argumento numero 1 de lengthOfPetroleumProductPipeline e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 257-257 | O argumento numero 1 de lengthOfStandardGaugeRailway e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 285-285 | O argumento numero 1 de lengthOfUnclassifiedGaugeRailway e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 595-595 | O argumento numero 1 de lengthOfUnpavedHighway e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1749-1749 | O argumento numero 2 de locationMeasuringList 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 lowestTemperatureForPeriod e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3768-3768 | O argumento numero 1 de magneticVariation e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4851-4851 | O argumento numero 1 de meanSeaLevel e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2256-2256 | O argumento numero 1 de naturalHazardTypeInArea e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1982-1982 | O argumento numero 1 de naturalResourceTypeInArea e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2155-2155 | O argumento numero 1 de otherLandUseArea e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 936-936 | O argumento numero 1 de overcastDaysInPeriod e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2116-2116 | O argumento numero 1 de permanentCropLandArea e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31752-31752 | O argumento numero 1 de populationDensity e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2808-2808 | O argumento numero 1 de rainfallIntensity e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1607-1607 | O argumento numero 1 de rainySeasonInArea e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6809-6809 | O argumento numero 1 de regionalIssue e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1479-1479 | O argumento numero 2 de releaseForConsumption e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 755-755 | O argumento numero 1 de sharedBorderLength e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 756-756 | O argumento numero 2 de sharedBorderLength 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