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