(subclass BinaryRelation Relation) 
Merge.kif 21442144 
Binary relation is a subclass of relation 
(subclass InheritableRelation Relation) 
Merge.kif 24642464 
Inheritable relation is a subclass of relation 
(subclass IntentionalRelation Relation) 
Merge.kif 25772577 
Intentional relation is a subclass of relation 
(subclass PPPBasedEconomicValuation Relation) 
Economy.kif 961961 
PPP based economic valuation is a subclass of relation 
(subclass PartialValuedRelation Relation) 
Merge.kif 21352135 
Partial valued relation is a subclass of relation 
(subclass Predicate Relation) 
Merge.kif 32223222 
Predicate is a subclass of relation 
(subclass ProbabilityRelation Relation) 
Merge.kif 24702470 
Probability relation is a subclass of relation 
(subclass QuaternaryRelation Relation) 
Merge.kif 27552755 
Quaternary relation is a subclass of relation 
(subclass QuintaryRelation Relation) 
Merge.kif 27622762 
Quintary relation is a subclass of relation 
(subclass RelationExtendedToQuantities Relation) 
Merge.kif 34143414 
Relation extended to quantities is a subclass of relation 
(subclass SingleValuedRelation Relation) 
Merge.kif 20892089 
Single valued relation is a subclass of relation 
(subclass SpatialRelation Relation) 
Merge.kif 25622562 
Spatial relation is a subclass of relation 
(subclass TemporalRelation Relation) 
Merge.kif 25692569 
Temporal relation is a subclass of relation 
(subclass TernaryRelation Relation) 
Merge.kif 27482748 
Ternary relation is a subclass of relation 
(subclass TotalValuedRelation Relation) 
Merge.kif 21072107 
Total valued relation is a subclass of relation 
(subclass VariableArityRelation Relation) 
Merge.kif 34033403 
Variable arity relation is a subclass of relation 
(termFormat ChineseLanguage Relation "关系") 
chinese_format.kif 888888 

(termFormat EnglishLanguage Relation "relation") 
english_format.kif 983983 
