Class
Complex-Number
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
Range-Of@Frame-Ontology
:
Cis
Arity@Frame-Ontology
:
1
Documentation@Ol%Frame-Ontology
:
Complex number
Slots:
Implication Axioms mentioning Complex-Number:
(=> (= (
Cis
?Radians) ?Complex) (Not (
Complex-Number
?Radians)))