|
|
   Tree
|
|
|
| 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 5673-5674 | |
| (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 5671-5671 |
| 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 143-143 | |
| (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 5692-5702 | |
| (=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphCircuit) (graphPart ?LOOP ?GRAPH))))) |
Merge.kif 5684-5690 | |
| (=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH))))) |
Merge.kif 5676-5682 |
| consequent |
|
|
| (=> (instance ?O Orchard) (exists (?A ?T) (and (instance ?A Agriculture) (located ?A ?O) (instance ?T Tree) (result ?A ?T)))) |
Food.kif 2160-2167 |
|
|
|
