(subclass BinaryRelation Relation) 
Merge.kif 21722172 
Binary relation is a subclass of relation 
(subclass InheritableRelation Relation) 
Merge.kif 24982498 
Inheritable relation is a subclass of relation 
(subclass IntentionalRelation Relation) 
Merge.kif 26112611 
Intentional relation is a subclass of relation 
(subclass PPPBasedEconomicValuation Relation) 
Economy.kif 960960 
PPP based economic valuation is a subclass of relation 
(subclass PartialValuedRelation Relation) 
Merge.kif 21632163 
Partial valued relation is a subclass of relation 
(subclass Predicate Relation) 
Merge.kif 32683268 
Predicate is a subclass of relation 
(subclass ProbabilityRelation Relation) 
Merge.kif 25042504 
Probability relation is a subclass of relation 
(subclass QuaternaryRelation Relation) 
Merge.kif 27892789 
Quaternary relation is a subclass of relation 
(subclass QuintaryRelation Relation) 
Merge.kif 27962796 
Quintary relation is a subclass of relation 
(subclass RelationExtendedToQuantities Relation) 
Merge.kif 34613461 
Relation extended to quantities is a subclass of relation 
(subclass SingleValuedRelation Relation) 
Merge.kif 21162116 
Single valued relation is a subclass of relation 
(subclass SpatialRelation Relation) 
Merge.kif 25962596 
Spatial relation is a subclass of relation 
(subclass TemporalRelation Relation) 
Merge.kif 26032603 
Temporal relation is a subclass of relation 
(subclass TernaryRelation Relation) 
Merge.kif 27822782 
Ternary relation is a subclass of relation 
(subclass TotalValuedRelation Relation) 
Merge.kif 21342134 
Total valued relation is a subclass of relation 
(subclass VariableArityRelation Relation) 
Merge.kif 34503450 
Variable arity relation is a subclass of relation 
(termFormat ChineseLanguage Relation "关系") 
chinese_format.kif 888888 

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