TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3976-3978
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3975-3975	LandForm est une sous-classe de secteur g�ographique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5841-5841	Archipelago est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4243-4243	Basin est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4172-4172	Butte est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4259-4259	Canyon est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5807-5807	Cape est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6048-6048	CaveMatrix est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5776-5776	Delta est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5998-5998	Glacier est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4043-4043	Hill est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3984-3984	LowlandArea est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4154-4154	Mesa est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4026-4026	Mountain est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4012-4012	MountainRange est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5793-5793	Peninsula est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4135-4135	Plateau est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5937-5937	Reef est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5757-5757	RiverBank est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6120-6120	Seacoast est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5911-5911	Shoal est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4101-4101	SlopedArea est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3980-3980	UplandArea est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4226-4226	Valley est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4057-4057	Volcano est une sous-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33217-33217
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33216-33216

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1922-1930	elevation objet en une partie and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfLength objet en une partie est une instance de LandForm objet en une partie le dessus de objet en une partie est objet en une partie la distance entre objet en une partie et SeaLevel est nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2689-2702	Processus est une instance de Erosion physique est une instance de LandForm physique est un patient de processus unit� de mesure est une instance de UnitOfVolume la mesure de physique est nombre r�el unit� de mesure(s) entit� la mesure de physique est entit� unit� de mesure(s) entit� est moins que nombre r�el pendant immediatement apr�s temps d'existence de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5920-5927	Objet est une instance de Shoal objet objet objet est une instance de LandForm most objet and objet objet est une instance de BodyOfWater covers objet and objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2682-2687	Processus est une instance de Erosion entit� entit� est un patient de processus entit� est une instance de LandForm

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

Show without tree

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: