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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tree

Sigma KEE - Tree
Tree

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2329-2329
No TPTP formula. May not be expressible in strict first order. Merge.kif 5688-5689
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1003-1003
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2043-2043
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2412-2412
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2414-2414
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2413-2413
No TPTP formula. May not be expressible in strict first order. Merge.kif 5686-5686 子類 Tree and DirectedGraph

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 935-935
No TPTP formula. May not be expressible in strict first order. english_format.kif 1077-1077
No TPTP formula. May not be expressible in strict first order. french_format.kif 611-611
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 142-142
No TPTP formula. May not be expressible in strict first order. terms-it.txt 145-145
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2296-2296
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 563-563
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 147-147
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 179-179
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 632-632
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 146-146

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5707-5717
No TPTP formula. May not be expressible in strict first order. Merge.kif 5699-5705
No TPTP formula. May not be expressible in strict first order. Merge.kif 5691-5697

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3655-3662


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