TreeView Knowledge Base Browser

appearance as argument number 1

(documentation relativeAngle EnglishLanguage "(relativeAngle ?O1 ?O2 ?MEASURE) means that the two-dimensional geometric angle formed by ?O1 and ?O2 has ?MEASURE.")	Merge.kif 17956-17957
(documentation relativeAngle EnglishLanguage "One end of an object, which is the smallest part of an object that is the longest distance from the other end.")	Merge.kif 18015-18017
(domain relativeAngle 1 Object)	Merge.kif 17953-17953
(domain relativeAngle 2 Object)	Merge.kif 17954-17954
(domain relativeAngle 3 RealNumber)	Merge.kif 17955-17955
(instance relativeAngle TernaryPredicate)	Merge.kif 17951-17951
(instance relativeAngle TotalValuedRelation)	Merge.kif 17952-17952

appearance as argument number 2

(format EnglishLanguage relativeAngle "the relative angle between %1 and %2 is %3")	Merge.kif 17959-17959
(termFormat EnglishLanguage relativeAngle "relative angle")	Merge.kif 17958-17958

antecedent

(=> (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 17985-18010
(=> (relativeAngle ?L1 ?L2 ?M) (and (instance ?L1 Object) (attribute ?L1 LongAndThin) (instance ?L2 Object) (attribute ?L2 LongAndThin) (connected ?L1 ?L2) (not (equal ?L1 ?L2))))	Merge.kif 17973-17982

consequent

(=>
    (and
        (instance ?L1 Object)
        (attribute ?L1 LongAndThin)
        (instance ?L2 Object)
        (attribute ?L2 LongAndThin)
        (connected ?L1 ?L2)
        (not
            (equal ?L1 ?L2)))
    (exists (?M)
        (relativeAngle ?L1 ?L2 ?M)))

Merge.kif 17961-17971