(subclass BinaryRelation Relation) |
Merge.kif 2362-2362 |
Binary relation is a subclass of relation |
(subclass InheritableRelation Relation) |
Merge.kif 2724-2724 |
Inheritable relation is a subclass of relation |
(subclass IntentionalRelation Relation) |
Merge.kif 2852-2852 |
Intentional relation is a subclass of relation |
(subclass List Relation) |
Merge.kif 3062-3062 |
List is a subclass of relation |
(subclass PPPBasedEconomicValuation Relation) |
Economy.kif 961-961 |
PPP based economic valuation is a subclass of relation |
(subclass PartialValuedRelation Relation) |
Merge.kif 2350-2350 |
Partial valued relation is a subclass of relation |
(subclass Predicate Relation) |
Merge.kif 3422-3422 |
Predicate is a subclass of relation |
(subclass ProbabilityRelation Relation) |
Merge.kif 2731-2731 |
Probability relation is a subclass of relation |
(subclass QuaternaryRelation Relation) |
Merge.kif 3046-3046 |
Quaternary relation is a subclass of relation |
(subclass QuintaryRelation Relation) |
Merge.kif 3054-3054 |
Quintary relation is a subclass of relation |
(subclass RelationExtendedToQuantities Relation) |
Merge.kif 3633-3633 |
Relation extended to quantities is a subclass of relation |
(subclass SingleValuedRelation Relation) |
Merge.kif 2298-2298 |
Single valued relation is a subclass of relation |
(subclass SpatialRelation Relation) |
Merge.kif 2835-2835 |
Spatial relation is a subclass of relation |
(subclass TemporalRelation Relation) |
Merge.kif 2843-2843 |
Temporal relation is a subclass of relation |
(subclass TernaryRelation Relation) |
Merge.kif 3038-3038 |
Ternary relation is a subclass of relation |
(subclass TotalValuedRelation Relation) |
Merge.kif 2318-2318 |
Total valued relation is a subclass of relation |
(subclass VariableArityRelation Relation) |
Merge.kif 3621-3621 |
Variable arity relation is a subclass of relation |
(termFormat ChineseLanguage Relation "关系") |
chinese_format.kif 888-888 |
"关系" is the printable form of relation in ChineseLanguage |
(termFormat EnglishLanguage Relation "relation") |
english_format.kif 575-575 |
"relation" is the printable form of relation in english language |