Tree - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Tree

Tree(tree)

cladogram, stemma, tree, tree_diagram

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 5687-5688
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 5685-5685	Tree is a subclass of directed graph

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 5706-5716	If a graph is an instance of tree, then there don't exist a graph arc, another graph arc and a graph node such that the graph arc is a part of the graph and the other graph arc is a part of the graph and the graph node is a part of the graph and the terminal node of the graph arc is equal to the graph node and the terminal node of the other graph arc is equal to the graph node and the graph arc is not equal to the other graph arc
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5698-5704	If a graph is an instance of tree, then there doesn't exist a graph element such that the graph element is an instance of graph circuit and the graph element is a part of the graph
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5690-5696	If a graph is an instance of tree, then there doesn't exist a graph element such that the graph element is an instance of graph loop and the graph element is a part of the graph

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 3655-3662

If an object is an instance of orchard,
then there exist a process and an entity such that the process is an instance of agriculture and the process is located at the object and the entity is an instance of tree and the entity is a result of the process

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