Class Complex-Number

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)))