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 e' uma sub-classe de Area Geografica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5841-5841	Archipelago e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4243-4243	Basin e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4172-4172	Butte e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4259-4259	Canyon e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5807-5807	Cape e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6048-6048	CaveMatrix e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5776-5776	Delta e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5998-5998	Glacier e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4043-4043	Hill e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3984-3984	LowlandArea e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4154-4154	Mesa e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4026-4026	Mountain e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4012-4012	MountainRange e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5793-5793	Peninsula e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4135-4135	Plateau e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5937-5937	Reef e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5757-5757	RiverBank e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6120-6120	Seacoast e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5911-5911	Shoal e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4101-4101	SlopedArea e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3980-3980	UplandArea e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4226-4226	Valley e' uma sub-classe de LandForm
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4057-4057	Volcano e' uma sub-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 Objeto auto-conectado and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Objeto auto-conectado e' uma instancia de LandForm Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e SeaLevel e' Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2689-2702	Processo e' uma instancia de Erosion Fisico e' uma instancia de LandForm Fisico e' um patient de Processo Unidade de Medida e' uma instancia de UnitOfVolume a medida de Fisico e' Numero Real Unidade de Medida(s) Entidade a medida de Fisico e' Entidade Unidade de Medida(s) Entidade e' menos que Numero Real vale durante imediatemente apos tempo de existencia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5920-5927	Objeto e' uma instancia de Shoal Objeto Objeto Objeto e' uma instancia de LandForm most Objeto and Objeto Objeto e' uma instancia de BodyOfWater covers Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2682-2687	Processo e' uma instancia de Erosion Entidade Entidade e' um patient de Processo Entidade e' uma instancia 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: