Class
Negative
Defined in ontology:
Kif-numbers
Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-numbers.lisp
Subclass-Of@Frame-Ontology
:
Number
Instance-Of@Frame-Ontology
:
Class@Frame-Ontology
,
Relation@Ol-User%Kif-Relations
,
Set@Ol-User%Kif-Sets
Arity@Frame-Ontology
:
1
Documentation@Ol%Frame-Ontology
:
Negative number
Slots:
Implication Axioms for Negative:
(=> (
Negative
?X) (
<
?X 0))