(subclass BinaryRelation Relation) 
Merge.kif 21912191 
Binary relation is a subclass of relation 
(subclass InheritableRelation Relation) 
Merge.kif 25172517 
Inheritable relation is a subclass of relation 
(subclass IntentionalRelation Relation) 
Merge.kif 26302630 
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 21822182 
Partial valued relation is a subclass of relation 
(subclass Predicate Relation) 
Merge.kif 32983298 
Predicate is a subclass of relation 
(subclass ProbabilityRelation Relation) 
Merge.kif 25232523 
Probability relation is a subclass of relation 
(subclass QuaternaryRelation Relation) 
Merge.kif 28202820 
Quaternary relation is a subclass of relation 
(subclass QuintaryRelation Relation) 
Merge.kif 28272827 
Quintary relation is a subclass of relation 
(subclass RelationExtendedToQuantities Relation) 
Merge.kif 34923492 
Relation extended to quantities is a subclass of relation 
(subclass SingleValuedRelation Relation) 
Merge.kif 21352135 
Single valued relation is a subclass of relation 
(subclass SpatialRelation Relation) 
Merge.kif 26152615 
Spatial relation is a subclass of relation 
(subclass TemporalRelation Relation) 
Merge.kif 26222622 
Temporal relation is a subclass of relation 
(subclass TernaryRelation Relation) 
Merge.kif 28132813 
Ternary relation is a subclass of relation 
(subclass TotalValuedRelation Relation) 
Merge.kif 21532153 
Total valued relation is a subclass of relation 
(subclass VariableArityRelation Relation) 
Merge.kif 34813481 
Variable arity relation is a subclass of relation 
(termFormat ChineseLanguage Relation "关系") 
chinese_format.kif 888888 

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