No TPTP formula. May not be expressible in strict first order.	Transportation.kif 562-562	Le nombre 1 argument de lengthOfExpresswaySystem est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 146-146	Le nombre 1 argument de lengthOfMultipleTrackRailway est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 230-230	Le nombre 1 argument de lengthOfNarrowGaugeRailway est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 728-728	Le nombre 1 argument de lengthOfNaturalGasPipeline est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 536-536	Le nombre 1 argument de lengthOfPavedHighway est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 751-751	Le nombre 1 argument de lengthOfPetroleumProductPipeline est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 257-257	Le nombre 1 argument de lengthOfStandardGaugeRailway est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 285-285	Le nombre 1 argument de lengthOfUnclassifiedGaugeRailway est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 595-595	Le nombre 1 argument de lengthOfUnpavedHighway est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1762-1762	Le nombre 2 argument de locationMeasuringList est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1005-1005	Le nombre 1 argument de lowestTemperatureForPeriod est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3768-3768	Le nombre 1 argument de magneticVariation est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4851-4851	Le nombre 1 argument de meanSeaLevel est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2256-2256	Le nombre 1 argument de naturalHazardTypeInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1982-1982	Le nombre 1 argument de naturalResourceTypeInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2155-2155	Le nombre 1 argument de otherLandUseArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 948-948	Le nombre 1 argument de overcastDaysInPeriod est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2116-2116	Le nombre 1 argument de permanentCropLandArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31716-31716	Le nombre 1 argument de populationDensity est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2821-2821	Le nombre 1 argument de rainfallIntensity est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1607-1607	Le nombre 1 argument de rainySeasonInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6809-6809	Le nombre 1 argument de regionalIssue est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Music.kif 1479-1479	Le nombre 2 argument de releaseForConsumption est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 755-755	Le nombre 1 argument de sharedBorderLength est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 756-756	Le nombre 2 argument de sharedBorderLength est une instance de secteur g�ographique
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