LandArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1453-1455
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14154-14157
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14153-14153	Zone de terre est une sous-classe de secteur g�ographique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 639-639	AmericanSamoa est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 416-416	Anguilla est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3624-3624	AntarcticArea est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 417-417	Aruba est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 592-592	AshmoreAndCartierIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 640-640	BakerIsland est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 400-400	Bermuda est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 565-565	BritishIndianOceanTerritory est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 418-418	BritishVirginIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 419-419	CaymanIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 593-593	ChristmasIsland est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 469-469	ClippertonIsland est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 594-594	CocosKeelingIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 641-641	CookIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 642-642	CoralSeaIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 492-492	FalklandIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 311-311	FaroeIslands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 491-491	FrenchGuiana est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 643-643	FrenchPolynesia est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 587-587	FrenchSouthernAndAntarcticLands est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 237-237	GazaStrip est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 388-388	Gibraltar est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 401-401	Greenland est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 420-420	Guadeloupe est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 344-344	Guernsey est une instance de zone de terre

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4285-4285	Le nombre 1 argument de groundSubsurfaceType est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4278-4278	Le nombre 1 argument de groundSurfaceType est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1674-1674	Le nombre 1 argument de slopeGradient est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1687-1687	Le nombre 1 argument de slopeGradientTowardsOrientation est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14032-14032	Secteur g�ographique est compl�tement d�compos� en plan d'eau + zone de terre

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1598-1608	Processus est une instance de Flooding objet est une instance de zone de terre eventLocated processus and objet point temporel est une instance de point temporel point temporel se produit avant temps d'existence de processus l'argument objet est une instance de SubmergedLandArea pendant point temporel a la force modale de Unlikely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5711-5718	Processus est une instance de Irrigating entit� est un patient de processus entit� est une instance de zone de terre Dry est un attribut de entit� pendant immediatement avant temps d'existence de processus Damp est un attribut de entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5720-5725	Processus est une instance de Irrigating entit� est un patient de processus entit� est une instance de zone de terre processus a pour but FertileTerrain est un attribut de entit�
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6779-6792	Processus est une instance de LandSubsidence objet est un patient de processus objet est une instance de zone de terre unit� de mesure est une instance de UnitOfLength elevation objet and nombre r�el unit� de mesure(s) entit� elevation objet and entit� unit� de mesure(s) entit� est moins que nombre r�el pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1843-1849	Objet corpusculaire est une instance de Soil Red est un attribut de objet corpusculaire objet corpusculaire est une instance de zone de terre objet corpusculaire est un composant de objet corpusculaire FertileTerrain est un attribut de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1835-1841	Objet corpusculaire est une instance de Soil Yellow est un attribut de objet corpusculaire objet corpusculaire est une instance de zone de terre objet corpusculaire est un composant de objet corpusculaire FertileTerrain est un attribut de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4288-4297	Zone de terre est une instance de zone de terre groundSurfaceType zone de terre and substance groundSubsurfaceType zone de terre and substance objet objet objet est une instance de substance objet est une instance de substance objet est Above � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4247-4257	Objet est une instance de Basin objet est une instance de zone de terre unit� de mesure est une instance de UnitOfLength earthAltitude objet and nombre r�el unit� de mesure(s) earthAltitude objet and nombre r�el unit� de mesure(s) objet est Adjacent � objet nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4231-4241	Objet est une instance de Valley objet est une instance de zone de terre unit� de mesure est une instance de UnitOfLength earthAltitude objet and nombre r�el unit� de mesure(s) earthAltitude objet and nombre r�el unit� de mesure(s) objet est Adjacent � objet nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14159-14166	Objet est une instance de zone de terre objet objet est une partie de objet objet est une instance de continent objet est une instance de �le

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1742-1746	Attribut est une instance de TerrainAttribute attribut est un attribut de objet objet est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	Processus est une instance de DustStorm processus est une instance de Wind processus est un sous-processus de processus transf�re objet, objet, objet, objet and nombre r�el objet est une instance de zone de terre eventLocated processus and objet surfaceWindSpeed objet and nombre r�el KnotUnitOfSpeed(s) nombre r�el est plus grand que 30.0 transf�re est une instance de Translocation transf�re est un sous-processus de processus objectTransferred transf�re and objet objectTransferred transf�re and objet objet est une instance de ParticulateMatter objet est une instance de Sand objet est une instance de zone de terre transf�re aboutit � objet objet ne recouvre %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14208-14214	Objet est une instance de �le objet est une instance de secteur g�ographique objet rencontre objet objet est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5823-5837	Objet en une partie est une instance de Isthmus le cot� de objet en une partie est objet en une partie le cot� de objet en une partie est objet en une partie objet en une partie est objet en une partie objet objet, objet and objet objet est une instance de zone de terre objet est une instance de zone de terre objet en une partie est entre objet et objet objet est une instance de plan d'eau objet est une instance de plan d'eau objet en une partie rencontre objet objet en une partie rencontre objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	Processus est une instance de TropicalCyclone processus aboutit � physique physique est une instance de secteur g�ographique objet physique and nombre r�el objet est une instance de zone de terre physique est une instance de Shoreline physique est situ� � objet la distance entre objet et physique est nombre r�el Mile(s) nombre r�el est plus grand que 200.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21147-21177	Proposition est une instance de Argument processus est une instance de raisonner proposition est une instance de Archeology proposition est une sous-proposition de proposition processus exprime le contenu de proposition processus entit�, physique, nombre r�el, entit� and entit� processus est une instance de Discovering physique est une instance de objet physique est un patient de processus processus inclut une r�f�rence � processus temps d'existence de processus arrive plus t�t que temps d'existence de processus l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand que 50 entit� est une surface de entit� entit� est une instance de BodyOfWater physique est Below � entit� entit� est une surface de entit� entit� est une instance de zone de terre physique est Below � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2178-2196	otherLandUseArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � 0.0 totalArea secteur g�ographique and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfArea secteur g�ographique secteur g�ographique est une instance de zone de terre secteur g�ographique est une instance de ArableLand secteur g�ographique est une instance de PermanentCropLand geographicSubregion secteur g�ographique and secteur g�ographique la mesure de secteur g�ographique est nombre r�el + nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1793-1795	MountainousTerrain est un attribut de objet objet est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 952-957	Objet est une instance de LandlockedArea objet objet est une instance de zone de terre objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15385-15392	Objet est une instance de Balcony objet objet objet rencontre objet objet est une instance de zone de terre objet est situ� � objet objet est Above � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 595-601	Objet est une instance de WaterOnlyArea objet objet est une instance de zone de terre objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1359-1368	Objet est une instance de RealEstate objet est une instance de artefact stationnaire objet est une instance de zone de terre objet objet objet est une instance de artefact stationnaire objet est une instance de zone de terre objet est union des parties de objet et objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8969-8974	Objet est une instance de Fog objet objet est une instance de zone de terre objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5225-5230	Objet est une instance de Inlet objet objet est une instance de zone de terre objet p�netre objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14194-14206	Objet est une instance de �le objet objet and objet objet est une instance de zone de terre objet est une partie de objet objet est une partie de objet objet est une partie de objet objet est une partie de objet objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17771-17778	Processus est une instance de LandTransportation objet objet objet est une instance de LandVehicle objet est une instance de zone de terre objet est un instrument pour processus objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 811-818	Processus est une instance de LandingWaterLand entit� processus entit� est une instance de zone de terre processus aboutit � entit� processus est un sous-processus de processus processus est une instance de WaterTransportation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4791-4796	Objet est une instance de Sea objet objet est une instance de zone de terre objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6771-6777	Processus est une instance de LandSubsidence objet objet est une instance de zone de terre eventLocated processus and objet objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14289-14297	Physique est une instance de LandTransitway physique a pour but entit� entit� entit� est une instance de Translocation physique est le chemin le long duquel entit� se produit eventLocated entit� and entit� entit� est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3958-3969	Objet corpusculaire est une instance de Hammock textile est fait de objet corpusculaire objet objet and objet objet est Near � objet objet est connect� � objet corpusculaire objet est connect� � objet corpusculaire objet est une instance de zone de terre objet corpusculaire est situ� � objet objet corpusculaire est Above � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26104-26122	Physique est une instance de PublicAddressSystem physique a pour but entit� entit� and entit� entit� est une instance de zone de terre physique est situ� � entit� entit� est une instance de GroupOfPeople entit� est situ� � entit� entit� est une instance de son irradiant physique est un instrument pour entit� entit� entit� est un membre de entit� entit� entit� est une instance de entendre entit� est un patient de entit� entit� est un agent de entit�

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: