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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PseudoGraph

Sigma KEE - PseudoGraph
PseudoGraph(pseudo graph)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2338-2339
No TPTP formula. May not be expressible in strict first order. Merge.kif 5803-5804
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1012-1013
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1941-1941
No TPTP formula. May not be expressible in strict first order. Merge.kif 5801-5801 Pseudo graph is a subclass of graph

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 939-939
No TPTP formula. May not be expressible in strict first order. english_format.kif 1085-1085
No TPTP formula. May not be expressible in strict first order. french_format.kif 615-615
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 146-146
No TPTP formula. May not be expressible in strict first order. terms-it.txt 149-149
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2300-2300
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 567-567
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 183-183
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 636-636
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 150-150

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5806-5811

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5813-5817


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