TreeView Knowledge Base Browser - Sea

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sea

Sigma KEE - Sea

Sea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4760-4763
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4758-4758	Sea e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4757-4757	Sea e' uma sub-classe de Area Aquatica salgada

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4809-4809	ArabianSea e' uma instancia de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4808-4808	BalticSea e' uma instancia de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4807-4807	BeringSea e' uma instancia de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4800-4800	BlackSea e' uma instancia de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4799-4799	CaribbeanSea e' uma instancia de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4798-4798	MediterraneanSea e' uma instancia de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4810-4810	NorthSea e' uma instancia de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4801-4801	RedSea e' uma instancia de Sea
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51639-51639
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51638-51638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51637-51637

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4772-4777	Objeto auto-conectado e' uma instancia de Sea o topo de Objeto auto-conectado e' Objeto auto-conectado a altitude de Objeto auto-conectado e' SeaLevel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4765-4770	Objeto auto-conectado e' uma instancia de Sea o topo de Objeto auto-conectado e' Objeto auto-conectado a altitude de Objeto auto-conectado e' SeaLevel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4791-4796	Objeto e' uma instancia de Sea Objeto Objeto e' uma instancia de Area terrestre Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4783-4789	Objeto e' uma instancia de Sea Objeto Objeto Objeto e' uma instancia de Ocean Objeto e' uma instancia de Area Aquatica Objeto conecta Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4779-4781	Objeto e' uma instancia de Sea Objeto e' uma &parte de WorldOcean

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5129-5136	Objeto e' uma instancia de Gulf Objeto Objeto e' uma instancia de Sea Objeto e' uma instancia de Ocean Objeto e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 841-850	Objeto e' uma instancia de PortCity Objeto Objeto e' uma instancia de Sea Objeto e' uma instancia de Ocean Objeto e' Adjacent em relacao a Objeto Objeto e' Near em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 873-882	Objeto e' uma instancia de SeaPort Objeto Objeto e' uma instancia de Sea Objeto e' uma instancia de Ocean Objeto e' Adjacent em relacao a Objeto Objeto e' Near em relacao a Objeto

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