StreamWaterArea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - StreamWaterArea

StreamWaterArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9034-9034	不相交的 StreamWaterArea and StaticWaterArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9035-9037
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9033-9033	子類 StreamWaterArea and 流動區域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9032-9032	子類 StreamWaterArea and WaterArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5673-5673	子類溪 and StreamWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5633-5633	子類急流 and StreamWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5472-5472	子類河 and StreamWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5656-5656	子類河口 and StreamWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5546-5546	子類瀑布 and StreamWaterArea
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 953-953
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1113-1113
No TPTP formula. May not be expressible in strict first order.	french_format.kif 629-629
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 160-160
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 163-163
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2314-2314
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 581-581
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 197-197
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 650-650
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 164-164

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5533-5542	例 Object and 河流系統例 Object and StreamWaterArea 部分 Object and Object Object 例 Object and 河部分 Object and Object Object 是 Object 的 flows
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5415-5421	例 Physical and StreamWaterArea Physical 例 Physical and 水體等於 Physical and Physical Physical 是 Physical 的 flows

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5498-5505	例 Object and 流水匯流 Object Object 例 Object and 河例 Object and StreamWaterArea Object 是 Object 的 flows 連接 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5489-5496	例 Object and 流水匯流 Object Object 例 Object and StreamWaterArea 連接 Object, Object and Object 例 Object and StreamWaterArea Object 是 Object 的 flows

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

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