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

(domain subGraph 1 Graph) 
Merge.kif 55515551 
The number 1 argument of sub graph is an instance of graph 
(domain subGraph 2 Graph) 
Merge.kif 55525552 
The number 2 argument of sub graph is an instance of graph 
(instance subGraph BinaryPredicate) 
Merge.kif 55485548 
sub graph is an instance of binary predicate 
(instance subGraph ReflexiveRelation) 
Merge.kif 55495549 
sub graph is an instance of reflexive relation 
(instance subGraph TransitiveRelation) 
Merge.kif 55505550 
sub graph is an instance of transitive relation 