(subclass BinaryRelation Relation) 
Merge.kif 21392139 
Binary relation is a subclass of relation 
(subclass InheritableRelation Relation) 
Merge.kif 24592459 
Inheritable relation is a subclass of relation 
(subclass IntentionalRelation Relation) 
Merge.kif 25722572 
Intentional relation is a subclass of relation 
(subclass List Relation) 
Merge.kif 27642764 
List 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 21302130 
Partial valued relation is a subclass of relation 
(subclass Predicate Relation) 
Merge.kif 31863186 
Predicate is a subclass of relation 
(subclass ProbabilityRelation Relation) 
Merge.kif 24652465 
Probability relation is a subclass of relation 
(subclass QuaternaryRelation Relation) 
Merge.kif 27502750 
Quaternary relation is a subclass of relation 
(subclass QuintaryRelation Relation) 
Merge.kif 27572757 
Quintary relation is a subclass of relation 
(subclass RelationExtendedToQuantities Relation) 
Merge.kif 33783378 
Relation extended to quantities is a subclass of relation 
(subclass SingleValuedRelation Relation) 
Merge.kif 20842084 
Single valued relation is a subclass of relation 
(subclass SpatialRelation Relation) 
Merge.kif 25572557 
Spatial relation is a subclass of relation 
(subclass TemporalRelation Relation) 
Merge.kif 25642564 
Temporal relation is a subclass of relation 
(subclass TernaryRelation Relation) 
Merge.kif 27432743 
Ternary relation is a subclass of relation 
(subclass TotalValuedRelation Relation) 
Merge.kif 21022102 
Total valued relation is a subclass of relation 
(subclass VariableArityRelation Relation) 
Merge.kif 33673367 
Variable arity relation is a subclass of relation 
(termFormat ChineseLanguage Relation "关系") 
chinese_format.kif 888888 

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