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

(domain subGraph 1 Graph) 
Merge.kif 58045804 
The number 1 argument of sub graph is an instance of graph 
(domain subGraph 2 Graph) 
Merge.kif 58055805 
The number 2 argument of sub graph is an instance of graph 
(instance subGraph BinaryPredicate) 
Merge.kif 58015801 
sub graph is an instance of binary predicate 
(instance subGraph ReflexiveRelation) 
Merge.kif 58025802 
sub graph is an instance of reflexive relation 
(instance subGraph TransitiveRelation) 
Merge.kif 58035803 
sub graph is an instance of transitive relation 