Relation Has-At-Least

• Defined in ontology: Slot-constraint-sugar
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/slot-constraint-sugar.lisp

Instance-Of: Relation, Set

Arity: 3

Documentation:

A binary relation HAS-AT-LEAST n values on domain instance i if there exist at least n distinct values v_j such that R(i,v_j) holds.

When used in the definition of a class where ?i is the instance variable, (HAS-AT-LEAST ?i R n) means that the slot R must have at least n values on all instances of the class.

Notes:

• See-Also: minimum-slot-cardinality value-cardinality

Implication Axioms for Has-At-Least:

(=> (Has-At-Least ?Instance ?Binary-Relation ?N)
    (>= (Value-Cardinality ?Instance ?Binary-Relation) ?N))

Equivalence Axioms for Has-At-Least:

(<=> (Has-At-Least ?Instance ?Binary-Relation ?N)
     (And (Binary-Relation ?Binary-Relation)
          (Natural ?N)
          (>= (Value-Cardinality ?Instance ?Binary-Relation) ?N)))

Axioms for Has-At-Least:

(Natural ?N)

(Binary-Relation ?Binary-Relation)

(Nth-Domain Has-At-Least 3 Natural)

(Nth-Domain Has-At-Least 2 Binary-Relation)

Equivalence Axioms mentioning Has-At-Least:

(<=> (Has-Some ?Instance ?Binary-Relation)
     (Has-At-Least ?Instance ?Binary-Relation 1))