(documentation subGraph ChineseLanguage "这是形容两个 Graph，而其中一个图是另外一个图的一部分时 的关系，(subGraph ?GRAPH1 ?GRAPH2)的意思是 ?GRAPH1 是 ?GRAPH2 的一部分。") 
chinese_format.kif 23512352 

(documentation subGraph EnglishLanguage "The relation between two Graphs when one Graph is a part of the other. (subGraph ?GRAPH1 ?GRAPH2) means that ?GRAPH1 is a part of ?GRAPH2.") 
Merge.kif 58325834 

(domain subGraph 1 Graph) 
Merge.kif 58295829 
The number 1 argument of sub graph is an instance of graph 
(domain subGraph 2 Graph) 
Merge.kif 58305830 
The number 2 argument of sub graph is an instance of graph 
(instance subGraph BinaryPredicate) 
Merge.kif 58265826 
sub graph is an instance of binary predicate 
(instance subGraph ReflexiveRelation) 
Merge.kif 58275827 
sub graph is an instance of reflexive relation 
(instance subGraph TransitiveRelation) 
Merge.kif 58285828 
sub graph is an instance of transitive relation 