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 est une sous-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4757-4757	Sea est une sous-classe de plan d'eau sal�

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4809-4809	ArabianSea est une instance de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4808-4808	BalticSea est une instance de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4807-4807	BeringSea est une instance de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4800-4800	BlackSea est une instance de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4799-4799	CaribbeanSea est une instance de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4798-4798	MediterraneanSea est une instance de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4810-4810	NorthSea est une instance de Sea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4801-4801	RedSea est une instance 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	Objet en une partie est une instance de Sea le dessus de objet en une partie est objet en une partie le altitude de objet en une partie est SeaLevel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4765-4770	Objet en une partie est une instance de Sea le dessus de objet en une partie est objet en une partie le altitude de objet en une partie est SeaLevel
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 4783-4789	Objet est une instance de Sea objet objet objet est une instance de Ocean objet est une instance de plan d'eau objet relie objet et objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4779-4781	Objet est une instance de Sea objet est une partie de WorldOcean

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5129-5136	Objet est une instance de Gulf objet objet est une instance de Sea objet est une instance de Ocean objet est connect� � objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 841-850	Objet est une instance de PortCity objet objet est une instance de Sea objet est une instance de Ocean objet est Adjacent � objet objet est Near � objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 873-882	Objet est une instance de SeaPort objet objet est une instance de Sea objet est une instance de Ocean objet est Adjacent � objet objet est Near � objet

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