Class Non-Negative-Integer

Subclass-Of@Frame-Ontology:
Integer, Number, Rational-Number, Real-Number
Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation, Set
Arity@Frame-Ontology: 1
Documentation@Ol%Frame-Ontology: An integer greater than or equal to zero.


Slots:


Implication Axioms for Non-Negative-Integer:

(=> (Non-Negative-Integer ?X) (>= ?X 0))


Equivalence Axioms for Non-Negative-Integer:

(<=> (Non-Negative-Integer ?X) (And (Integer ?X) (>= ?X 0)))