No TPTP formula. May not be expressible in strict first order.	Weather.kif 3026-3026	Le nombre 1 argument de snowfallIntensity est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1712-1712	Le nombre 1 argument de terrainInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2620-2620	Le nombre 1 argument de totalBiomass est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 887-887	Le nombre 1 argument de totalCoastline est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1213-1213	Le nombre 1 argument de totalFacilityTypeInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 677-677	Le nombre 1 argument de totalLandBoundary est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 477-477	Le nombre 1 argument de totalLengthOfHighwaySystem est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 90-90	Le nombre 1 argument de totalLengthOfRailwaySystem est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 649-649	Le nombre 1 argument de totalLengthOfWaterways est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 679-679	Le nombre 1 argument de totalPipelineInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1225-1225	Le nombre 1 argument de totalPrecipitationForPeriod est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6188-6188	Le nombre 1 argument de vegetationType est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6217-6217	Le nombre 1 argument de vegetationTypePattern est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1617-1617	Le nombre 1 argument de warmSeasonInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 547-547	Le nombre 1 argument de waterAreaOnly est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6913-6913	Le nombre 1 argument de GeographicPartTypeFn est une sous-classe de secteur g�ographique

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