Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphElement
GraphElement(图元素)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2340-2341
No TPTP formula. May not be expressible in strict first order. Merge.kif 5822-5823
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1014-1015
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1789-1789
No TPTP formula. May not be expressible in strict first order. Merge.kif 5820-5820 图元素 详尽无遗地 partition图节点图弧
No TPTP formula. May not be expressible in strict first order. Merge.kif 5819-5819 图元素命题subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5842-5842 图弧图元素subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 5832-5832 图节点图元素subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 940-940
No TPTP formula. May not be expressible in strict first order. english_format.kif 1087-1087
No TPTP formula. May not be expressible in strict first order. french_format.kif 616-616
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 147-147
No TPTP formula. May not be expressible in strict first order. terms-it.txt 150-150
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2301-2301
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 568-568
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 152-152
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 184-184
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 637-637
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 151-151

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5888-5888 图形部分 的 1 数量 是 图元素instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5825-5830


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