get-role-min-cardinality [Method]

Purpose

The get-role-min-cardinality method finds the minimum number of fillers of a given role on a given concept or instance.

Syntax

get-role-min-cardinality conceptOrInstance relation

Arguments

The conceptOrInstance argument is a Loom concept or instance.

The relation argument is the relation for which a lower bound is to be found.

Value

The get-role-min-cardinality function returns the minimum number retriction that applies to conceptOrInstance for relation.

Examples 

(defconcept B 
    :is (:and (:all r A) (:exactly 3 r) (:filled-by r Joe Fred))) 
(defconcept C 
    :is-primitive B 
    :implies (:and (:some s A) (:at-most 2 s)) 
    :defaults (:filled-by s Sue)) 
(tellm (C Mary)) 
(get-role-min-cardinality (fc C) (fr r)) ==> 3 
(get-role-min-cardinality (fc C) (fr s)) ==> 1 
(get-role-min-cardinality (fi Mary) (fr r)) ==> 3 
(get-role-min-cardinality (fi Mary) (fr s)) ==> 1

See Also

Last modified: Jun 1 1995