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。") chinese_format.kif 2329-2329
(documentation Tree EnglishLanguage "A Tree is a DirectedGraph that has no GraphLoops.") Merge.kif 5687-5688
(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 5685-5685

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 5706-5716
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?LOOP)
            (and
                (instance ?LOOP GraphCircuit)
                (graphPart ?LOOP ?GRAPH)))))
Merge.kif 5698-5704
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?LOOP)
            (and
                (instance ?LOOP GraphLoop)
                (graphPart ?LOOP ?GRAPH)))))
Merge.kif 5690-5696

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


(=>
    (instance ?O Orchard)
    (exists (?A ?T)
        (and
            (instance ?A Agriculture)
            (located ?A ?O)
            (instance ?T Tree)
            (result ?A ?T))))
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