Class
Negation
Defined in ontology:
Kif-meta
Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-meta.lisp
Subclass-Of@Frame-Ontology
:
Logsent
,
Expression
,
Sentence
Instance-Of@Frame-Ontology
:
Class@Frame-Ontology
,
Relation@Ol-User%Kif-Relations
,
Set
Arity@Frame-Ontology
:
1
Slots:
Equivalence Axioms for Negation:
(<=> (
Negation
?X) (Exists (?P) (And (
Sentence
?P) (= ?X (Listof 'Not ?P)))))
Frame References to Negation:
In class@frame-ontology
Logsent
:
Exhaustive-Subclass-Partition@Frame-Ontology
:
{
Conjunction
,
Disjunction
,
Equivalence
,
Implication
,
Negation
,
Reverse-Implication
}