Sentence
FINITE-SET-AXIOM
Defined in theory:
Kif-sets
Source code:
kif-sets.lisp
Slots on this instance:
Documentation
:
Any finite set of bounded sets is itself a bounded set.
Instance-Of
:
Sentence
Defining-Axiom
:
'(=> (
Finite-Set
?S) (
Bounded
?S))
Notes:
Source:
KIF Version 3.0 Specification