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


(documentation Tree ChineseLanguage "树是一个没有 GraphLoopDirectedGraph。") chinese_format.kif 2329-2329
(documentation Tree EnglishLanguage "A Tree is a DirectedGraph that has no GraphLoops.") Merge.kif 5618-5619
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/0/08/ Directed_acyclic_graph.png") pictureList.kif 2044-2044
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/2/24/ Tree_graph.svg") pictureList.kif 2413-2413
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Directed.svg") pictureList.kif 2415-2415
(externalImage Tree "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Undirected.svg") pictureList.kif 2414-2414
(subclass Tree DirectedGraph) Merge.kif 5616-5616 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

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 5637-5647
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?LOOP)
            (and
                (instance ?LOOP GraphCircuit)
                (graphPart ?LOOP ?GRAPH)))))
Merge.kif 5629-5635
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?LOOP)
            (and
                (instance ?LOOP GraphLoop)
                (graphPart ?LOOP ?GRAPH)))))
Merge.kif 5621-5627

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


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


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