(subclass BinaryRelation Relation) 
Merge.kif 21462146 
Binary relation is a subclass of relation 
(subclass InheritableRelation Relation) 
Merge.kif 24662466 
Inheritable relation is a subclass of relation 
(subclass IntentionalRelation Relation) 
Merge.kif 25792579 
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 21372137 
Partial valued relation is a subclass of relation 
(subclass Predicate Relation) 
Merge.kif 32303230 
Predicate is a subclass of relation 
(subclass ProbabilityRelation Relation) 
Merge.kif 24722472 
Probability relation is a subclass of relation 
(subclass QuaternaryRelation Relation) 
Merge.kif 27572757 
Quaternary relation is a subclass of relation 
(subclass QuintaryRelation Relation) 
Merge.kif 27642764 
Quintary relation is a subclass of relation 
(subclass RelationExtendedToQuantities Relation) 
Merge.kif 34223422 
Relation extended to quantities is a subclass of relation 
(subclass SingleValuedRelation Relation) 
Merge.kif 20902090 
Single valued relation is a subclass of relation 
(subclass SpatialRelation Relation) 
Merge.kif 25642564 
Spatial relation is a subclass of relation 
(subclass TemporalRelation Relation) 
Merge.kif 25712571 
Temporal relation is a subclass of relation 
(subclass TernaryRelation Relation) 
Merge.kif 27502750 
Ternary relation is a subclass of relation 
(subclass TotalValuedRelation Relation) 
Merge.kif 21082108 
Total valued relation is a subclass of relation 
(subclass VariableArityRelation Relation) 
Merge.kif 34113411 
Variable arity relation is a subclass of relation 
(termFormat ChineseLanguage Relation "关系") 
chinese_format.kif 888888 

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