Axiom Finite-Set-Axiom

• Defined in ontology: Kif-sets
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-sets.lisp

Documentation@Ol%Frame-Ontology:

Any finite set of bounded sets is itself a bounded set.

Notes:

• Source: KIF Version 3.0 Specification

Defining axiom of Finite-Set-Axiom:

(=> (Finite-Set@Ol-User%Kif-Extensions ?S) (Bounded ?S))