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

# 全值關係 (TotalValuedRelation)

A Relation is a TotalValuedRelation just in case there exists an assignment for the last argument position of the Relation given any assignment of values to every argument position except the last one. Note that declaring a Relation to be both a TotalValuedRelation and a SingleValuedRelation means that it is a total function.

## Ontology

SUMO / BASE-ONTOLOGY

 實體

抽象的

關係

全值關係

## Axioms (2)

`(partition Relation TotalValuedRelation PartialValuedRelation)`

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))))))```