|
|
   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 5593-5594 | |
| (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 5591-5591 |
| 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 5612-5622 | |
| (=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphCircuit) (graphPart ?LOOP ?GRAPH))))) |
Merge.kif 5604-5610 | |
| (=> (instance ?GRAPH Tree) (not (exists (?LOOP) (and (instance ?LOOP GraphLoop) (graphPart ?LOOP ?GRAPH))))) |
Merge.kif 5596-5602 |
| consequent |
|
|
| (=> (instance ?O Orchard) (exists (?A ?T) (and (instance ?A Agriculture) (located ?A ?O) (instance ?T Tree) (result ?A ?T)))) |
Food.kif 1068-1075 |
|
|
|
