Function Cis

• Defined in ontology: Kif-numbers
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-numbers.lisp

Instance-Of@Frame-Ontology:

Binary-Relation@Ol-User%Kif-Relations, Function@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations, Set@Ol-User%Kif-Sets

Domain@Frame-Ontology: Number

Range@Frame-Ontology: Complex-Number

Arity@Frame-Ontology: 2

Documentation@Ol%Frame-Ontology:

The term {tt (cis $tau$)} denotes the complex number denoted by $cos(tau) + i sin(tau)$. The argument is any non-complex number of radians.

Implication Axioms mentioning Cis:

(=> (= (Cis ?Radians) ?Complex) (Not (Complex-Number ?Radians)))