Tree - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Tree ChineseLanguage "树是一个没有 GraphLoop 的 DirectedGraph。")	chinese_format.kif 2329-2329
(documentation Tree EnglishLanguage "A Tree is a DirectedGraph that has no GraphLoops.")	Merge.kif 5688-5689
(documentation Tree JapaneseLanguage "ツリーは GraphLoops がない DirectedGraph である。")	japanese_format.kif 1003-1003
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/0/08/ Directed_acyclic_graph.png")	pictureList.kif 2043-2043
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/2/24/ Tree_graph.svg")	pictureList.kif 2412-2412
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Directed.svg")	pictureList.kif 2414-2414
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Undirected.svg")	pictureList.kif 2413-2413
(subclass Tree DirectedGraph)	Merge.kif 5686-5686	Tree is a subclass of directed graph

appearance as argument number 2

(termFormat ChineseLanguage Tree "树")	chinese_format.kif 935-935
(termFormat EnglishLanguage Tree "tree")	english_format.kif 1077-1077
(termFormat FrenchLanguage Tree "arbre")	french_format.kif 611-611
(termFormat Hindi Tree "vriksha")	terms-hindi.txt 142-142
(termFormat ItalianLanguage Tree "Albero")	terms-it.txt 145-145
(termFormat JapaneseLanguage Tree "ツリー")	japanese_format.kif 2296-2296
(termFormat PortugueseLanguage Tree "Arvore")	portuguese_format.kif 563-563
(termFormat cb Tree "kahoy")	terms-cb.txt 147-147
(termFormat cz Tree "tree")	terms-cz.txt 179-179
(termFormat ro Tree "arbore")	relations-ro.kif 632-632
(termFormat tg Tree "punong kahoy")	terms-tg.txt 146-146

antecedent

(=> (instance ?GRAPH Tree) (not (exists (?ARC1 ?ARC2 ?NODE) (and (graphPart ?ARC1 ?GRAPH) (graphPart ?ARC2 ?GRAPH) (graphPart ?NODE ?GRAPH) (equal (TerminalNodeFn ?ARC1) ?NODE) (equal (TerminalNodeFn ?ARC2) ?NODE) (not (equal ?ARC1 ?ARC2))))))	Merge.kif 5707-5717	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
(=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphCircuit) (graphPart ?LOOP ?GRAPH)))))	Merge.kif 5699-5705	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
(=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH)))))	Merge.kif 5691-5697	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

(=>
    (instance ?O Orchard)
    (exists (?A ?T)
        (and
            (instance ?A Agriculture)
            (located ?A ?O)
            (instance ?T Tree)
            (result ?A ?T))))

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

KB Term:			Term intersection

English Word: