TreeView Knowledge Base Browser

appearance as argument number 1

(instance relativeAngle TernaryPredicate)	Merge.kif 18236-18236	relative angle is an instance of ternary predicate
(instance relativeAngle TotalValuedRelation)	Merge.kif 18237-18237	relative angle is an instance of total valued relation
(domain relativeAngle 1 Object)	Merge.kif 18238-18238	The number 1 argument of relative angle is an instance of object
(domain relativeAngle 2 Object)	Merge.kif 18239-18239	The number 2 argument of relative angle is an instance of object
(domain relativeAngle 3 RealNumber)	Merge.kif 18240-18240	The number 3 argument of relative angle is an instance of real number
(documentation relativeAngle EnglishLanguage "(relativeAngle ?O1 ?O2 ?MEASURE) means that the two-dimensional geometric angle formed by ?O1 and ?O2 has ?MEASURE.")	Merge.kif 18241-18242	The number 3 argument of relative angle is an instance of real number
(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 18281-18283	The number 3 argument of relative angle is an instance of real number

appearance as argument number 2

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

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 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
(=> (relativeAngle ?L1 ?L2 ?M) (and (instance ?L1 Object) (attribute ?L1 LongAndThin) (instance ?L2 Object) (attribute ?L2 LongAndThin) (connected ?L1 ?L2) (not (equal ?L1 ?L2))))	Mid-level-ontology.kif 3430-3439	If the relative angle between X and Y is Z, then All of the following hold: (1) X is an instance of object (2) long and thin is an attribute of X (3) Y is an instance of object (4) long and thin is an attribute of Y (5) X is connected to Y (6) equal X and Y

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

Mid-level-ontology.kif 3418-3428

If All of the following hold: (1) X is an instance of object (2) long and thin is an attribute of X (3) Y is an instance of object (4) long and thin is an attribute of Y (5) X is connected to Y (6) equal X and Y, then there exists Z such that the relative angle between X and Y is Z

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

KB Term:			Term intersection

English Word: