Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# 關係 (Relation)

The Class of relations. There are three kinds of Relation: Predicate, Function, and List. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators. A List, on the other hand, is a particular ordered n-tuple.

## Ontology

SUMO / BASE-ONTOLOGY

 實體

抽象的

關係

## Related WordNet synsets

relation
an abstraction belonging to or characteristic of two entities or parts together

relationship, human relationship
(`relationship' is often used where `relation' would serve (as in "the relationship between inflation and unemployment")) preferred usage of `relationship' is for human relations or states of relatedness; "the relationship between mothers and children"

relational
having a relation or being related

See more related synsets on a separate page.

## Axioms (6)

If 無交集關係() holds and rel 是 "()" 的 一 成員, then rel關係實例.
```(=>
(and
(disjointRelation @ROW)
(inList
?REL
(ListFn @ROW)))
(instance ?REL Relation))```

`(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)`

`(partition Relation Predicate Function List)`

`(partition Relation TotalValuedRelation PartialValuedRelation)`

If rel關係實例, then rel() (不) 成立s if and only if rel() holds.
```(=>
(instance ?REL Relation)
(<=>
(holds ?REL @ROW)
(?REL @ROW)))```

rel全值關係實例 if and only if there exists valence so that rel關係實例 and rel %&有 論元(s) valence and
• if for all number,element,class holds: if number 小於 valence and rel 的 論元 numberclass實例 and element 等於 ""()" 的 第二 元素", then elementclass實例,
• then there exists item so that rel(,item) (不) 成立s
• .
```(<=>
(instance ?REL TotalValuedRelation)
(exists
(?VALENCE)
(and
(instance ?REL Relation)
(valence ?REL ?VALENCE)
(=>
(forall
(?NUMBER ?ELEMENT ?CLASS)
(=>
(and
(lessThan ?NUMBER ?VALENCE)
(domain ?REL ?NUMBER ?CLASS)
(equal
?ELEMENT
(ListOrderFn
(ListFn @ROW)
?NUMBER)))
(instance ?ELEMENT ?CLASS)))
(exists
(?ITEM)
(holds ?REL @ROW ?ITEM))))))```