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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GraphElement
GraphElement(graph element)
عُنْصُر المُخَطَّط, ElementoDelGrafo, Elemento_do_Grafo, aging_elemento, bahagi_ng_talaguhitan, graph_element, tatva_aalekha, 图元素, �lement_du_graph

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5893-5894
No TPTP formula. May not be expressible in strict first order. Merge.kif 5891-5892
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1790-1790 "http://upload.wikimedia.org/wikipedia/commons/5/5b/ 6n-graf.svg" is a URL depicting graph element
No TPTP formula. May not be expressible in strict first order. Merge.kif 5890-5890 Graph element is exhaustively partitioned into graph node and graph arc
No TPTP formula. May not be expressible in strict first order. Merge.kif 5889-5889 Graph element is a subclass of abstract

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5914-5914 Graph arc is a subclass of graph element
No TPTP formula. May not be expressible in strict first order. Merge.kif 5903-5903 Graph node is a subclass of graph element
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 940-940 "图元素" is the printable form of graph element in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 627-627 "graph element" is the printable form of graph element in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 616-616 "�lement du graph" is the printable form of graph element in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 147-147 "tatva aalekha" is the printable form of graph element in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 148-148 "ElementoDelGrafo" is the printable form of graph element in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 568-568 "Elemento do Grafo" is the printable form of graph element in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 352-352 "عُنْصُر المُخَطَّط" is the printable form of graph element in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 152-152 "aging elemento" is the printable form of graph element in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 184-184 "graph element" is the printable form of graph element in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 151-151 "bahagi ng talaguhitan" is the printable form of graph element in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5958-5958 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 5896-5901


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners