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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphElement
GraphElement(graph element)

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 Graph element is exhaustively partitioned into graph node and graph arc
No TPTP formula. May not be expressible in strict first order. Merge.kif 5819-5819 Graph element is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5842-5842 Graph arc is a subclass of graph element
No TPTP formula. May not be expressible in strict first order. Merge.kif 5832-5832 Graph node is a subclass of graph element
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 The number 1 argument of graph part is an instance of graph element

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