TreeView Knowledge Base Browser - Shoal

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Shoal

Shoal(淺灘)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5909-5910
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5907-5908
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6855-6855
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7846-7846
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7847-7847
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5911-5911	子類淺灘 and 土地形式

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52743-52743
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52742-52742
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52741-52741

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5929-5933	例 Physical and 淺灘例 Object and 水車海上危險 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5920-5927	例 Object and 淺灘 Object Object 例 Object and 土地形式 Object 是 Object 的 most 例 Object and 水體 covers Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5913-5918	例 Object and 淺灘 Object 例 Object and WaterArea 空間的符合 Object and Object

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