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

# 範圍次種類 (rangeSubclass)

(rangeSubclass function class) means that all of the values assigned by function are subclasses of class.

## Ontology

SUMO / STRUCTURAL-ONTOLOGY

 種類

可繼承關係

二元述詞
 不對稱關係

範圍次種類

## Type restrictions

rangeSubclass(函數, subclass 集合或種類)

## Axioms (5)

If 被 function 歸回 的值 是 class次種類 and "function()" 等於 value, then valueclass次種類.
```(=>
(and
(rangeSubclass ?FUNCTION ?CLASS)
(equal
(AssignmentFn ?FUNCTION @ROW)
?VALUE))
(subclass ?VALUE ?CLASS))```

If rel1rel2次關係 and 被 rel2 歸回 的值 是 class1次種類, then 被 rel1 歸回 的值 是 class1次種類.
```(=>
(and
(subrelation ?REL1 ?REL2)
(rangeSubclass ?REL2 ?CLASS1))
(rangeSubclass ?REL1 ?CLASS1))```

If 被 rel 歸回 的值 是 class1次種類 and 被 rel 歸回 的值 是 class2次種類, then class1class2次種類 or class2class1次種類.
```(=>
(and
(rangeSubclass ?REL ?CLASS1)
(rangeSubclass ?REL ?CLASS2))
(or
(subclass ?CLASS1 ?CLASS2)
(subclass ?CLASS2 ?CLASS1)))```

If 被 rel1 歸回 的值 是 class1次種類 and 被 rel2 歸回 的值 是 class2次種類 and class1 無交集class2, then 無交集關係(rel1,rel2) holds.
```(=>
(and
(rangeSubclass ?REL1 ?CLASS1)
(rangeSubclass ?REL2 ?CLASS2)
(disjoint ?CLASS1 ?CLASS2))
(disjointRelation ?REL1 ?REL2))```

If
, then rel不對稱關係實例.
```(=>
(and
(instance ?REL BinaryRelation)
(or
(domain ?REL 1 ?CLASS1)
(domainSubclass ?REL 1 ?CLASS1))
(or
(domain ?REL 2 ?CLASS2)
(domainSubclass ?REL 2 ?CLASS2)
(range ?REL ?CLASS2)
(rangeSubclass ?REL ?CLASS2))
(disjoint ?CLASS1 ?CLASS2))
(instance ?REL AsymmetricRelation))```