TreeView Knowledge Base Browser

appearance as argument number 1

(instance ArcCosineFn UnaryFunction)	Merge.kif 5380-5380	Arccosine is an instance of unary function
(instance ArcCosineFn TotalValuedRelation)	Merge.kif 5381-5381	Arccosine is an instance of total valued relation
(domain ArcCosineFn 1 RealNumber)	Merge.kif 5382-5382	The number 1 argument of arccosine is an instance of real number
(range ArcCosineFn RealNumber)	Merge.kif 5383-5383	The range of arccosine is an instance of real number
(documentation ArcCosineFn EnglishLanguage "The inverse of CosineFn.")	Merge.kif 5384-5384	The range of arccosine is an instance of real number

appearance as argument number 2

(format EnglishLanguage ArcCosineFn "the arccosine of %1")	Merge.kif 5385-5385
(termFormat EnglishLanguage ArcCosineFn "arccosine")	Merge.kif 5386-5386

consequent

(=>
    (and
        (relativeAngle ?O1 ?O2 ?N)
        (physicalEnd ?E1 ?O1)
        (physicalEnd ?E2 ?O1)
        (not
            (equal ?E1 ?E2))
        (length ?O1
            (MeasureFn ?N1 ?U))
        (length ?O2
            (MeasureFn ?N2 ?U))
        (distance ?E1 ?E3
            (MeasureFn ?N3 ?U))
        (physicalEnd ?E3 ?O2)
        (physicalEnd ?E4 ?O2)
        (not
            (equal ?E3 ?E4))
        (not
            (meetsSpatially ?E1 ?E3)))
    (equal ?N
        (ArcCosineFn
            (DivisionFn
                (SubtractionFn
                    (SubtractionFn
                        (MultiplicationFn ?N3 ?N3)
                        (MultiplicationFn ?N1 ?N1))
                    (MultiplicationFn ?N2 ?N2))
                (MultiplicationFn 2.0
                    (MultiplicationFn ?N1 ?N2))))))

Merge.kif 18247-18272

If All of the following hold: (1) the relative angle between X and Y is Z (2) one end of X is W (3) one end of X is V (4) equal W and V (5) the length of X is U T(s) (6) the length of Y is S T(s) (7) the distance between W and R is Q T(s) (8) one end of Y is R (9) one end of Y is P (10) equal R and P (11) W doesn't meet R, then equal Z and the arccosine of ((Q and Q and U and U) and S and S) and 2.0 and U and S

statement

(equal
(ArcCosineFn
(CosineFn ?X)) ?X)

Merge.kif 5388-5388

equal the arccosine of the cosine of X and X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: