(subclass BinaryRelation Relation) |
Merge.kif 3627-3627 |
Binary relation is a subclass of relation |
(subclass InheritableRelation Relation) |
Merge.kif 4140-4140 |
Inheritable relation is a subclass of relation |
(subclass IntentionalRelation Relation) |
Merge.kif 4322-4322 |
Intentional relation is a subclass of relation |
(subclass List Relation) |
Merge.kif 4613-4613 |
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 3607-3607 |
Partial valued relation is a subclass of relation |
(subclass Predicate Relation) |
Merge.kif 5043-5043 |
Predicate is a subclass of relation |
(subclass ProbabilityRelation Relation) |
Merge.kif 4153-4153 |
Probability relation is a subclass of relation |
(subclass QuaternaryRelation Relation) |
Merge.kif 4585-4585 |
Quaternary relation is a subclass of relation |
(subclass QuintaryRelation Relation) |
Merge.kif 4599-4599 |
Quintary relation is a subclass of relation |
(subclass RelationExtendedToQuantities Relation) |
Merge.kif 5345-5345 |
Relation extended to quantities is a subclass of relation |
(subclass SingleValuedRelation Relation) |
Merge.kif 3542-3542 |
Single valued relation is a subclass of relation |
(subclass SpatialRelation Relation) |
Merge.kif 4295-4295 |
Spatial relation is a subclass of relation |
(subclass TemporalRelation Relation) |
Merge.kif 4308-4308 |
Temporal relation is a subclass of relation |
(subclass TernaryRelation Relation) |
Merge.kif 4572-4572 |
Ternary relation is a subclass of relation |
(subclass TotalValuedRelation Relation) |
Merge.kif 3569-3569 |
Total valued relation is a subclass of relation |
(subclass VariableArityRelation Relation) |
Merge.kif 5328-5328 |
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 1357-1357 |
"relation" is the printable form of relation in english language |
(termFormat JapaneseLanguage Relation "関係") |
english_format.kif 1358-1358 |
"関係" is the printable form of relation in japanese language |