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

(domain subGraph 1 Graph) 
Merge.kif 57965796 
The number 1 argument of sub graph is an instance of graph 
(domain subGraph 2 Graph) 
Merge.kif 57975797 
The number 2 argument of sub graph is an instance of graph 
(instance subGraph BinaryPredicate) 
Merge.kif 57935793 
sub graph is an instance of binary predicate 
(instance subGraph ReflexiveRelation) 
Merge.kif 57945794 
sub graph is an instance of reflexive relation 
(instance subGraph TransitiveRelation) 
Merge.kif 57955795 
sub graph is an instance of transitive relation 