Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 ist eine teilkategorie von DirectedGraph

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

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