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
-------------------------


(documentation Tree ChineseLanguage "树是一个没有 GraphLoopDirectedGraph。") Merge.kif 5812-5812
(documentation Tree EnglishLanguage "A Tree is a DirectedGraph that has no GraphLoops.") Merge.kif 5810-5811
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/0/08/ Directed_acyclic_graph.png") pictureList.kif 2044-2044 externalImage and "http://upload.wikimedia.org/wikipedia/commons/0/08/ Directed_acyclic_graph.png"
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/2/24/ Tree_graph.svg") pictureList.kif 2413-2413 externalImage and "http://upload.wikimedia.org/wikipedia/commons/2/24/ Tree_graph.svg"
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Directed.svg") pictureList.kif 2415-2415 externalImage and "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Directed.svg"
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Undirected.svg") pictureList.kif 2414-2414 externalImage and "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Undirected.svg"
(subclass Tree DirectedGraph) Merge.kif 5809-5809 有向图subclass

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


(termFormat ChineseLanguage Tree "树") chinese_format.kif 935-935 termFormat ChineseLanguage, and "树"
(termFormat EnglishLanguage Tree "tree") english_format.kif 871-871 termFormat EnglishLanguage, and "tree"
(termFormat JapaneseLanguage Tree "ツリー") english_format.kif 872-872 termFormat JapaneseLanguage, and "ツリー"

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 5830-5840
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?LOOP)
            (and
                (instance ?LOOP GraphCircuit)
                (graphPart ?LOOP ?GRAPH)))))
Merge.kif 5822-5828
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?LOOP)
            (and
                (instance ?LOOP GraphLoop)
                (graphPart ?LOOP ?GRAPH)))))
Merge.kif 5814-5820

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


(=>
    (instance ?O Orchard)
    (exists (?A ?T)
        (and
            (instance ?A Agriculture)
            (located ?A ?O)
            (instance ?T Tree)
            (result ?A ?T))))
Food.kif 1123-1130


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