TreeView 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	Albero è una sottoclasse di GrafoDiretto

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	Grafo è un' istanza di Albero arco del grafo arco del grafo and NodoDelGrafo arco del grafo è una parte di Grafo arco del grafo è una parte di Grafo NodoDelGrafo è una parte di Grafo il nodo terminale di arco del grafo is uguale a NodoDelGrafo il nodo terminale di arco del grafo is uguale a NodoDelGrafo arco del grafo is uguale a arco del grafo
(=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphCircuit) (graphPart ?LOOP ?GRAPH)))))	Merge.kif 5699-5705	Grafo è un' istanza di Albero ElementoDelGrafo ElementoDelGrafo è un' istanza di CircuitoDelGrafo ElementoDelGrafo è una parte di Grafo
(=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH)))))	Merge.kif 5691-5697	Grafo è un' istanza di Albero ElementoDelGrafo ElementoDelGrafo è un' istanza di grafo ciclico ElementoDelGrafo è una parte di Grafo

consequent

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

Food.kif 3655-3662