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 17899-17900
(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 17958-17960
(domain relativeAngle 1 Object)	Merge.kif 17896-17896	relativeAngle の数値 1 引数はオブジェクトの instance では %n
(domain relativeAngle 2 Object)	Merge.kif 17897-17897	relativeAngle の数値 2 引数はオブジェクトの instance では %n
(domain relativeAngle 3 RealNumber)	Merge.kif 17898-17898	relativeAngle の数値 3 引数は実数の instance では %n
(instance relativeAngle TernaryPredicate)	Merge.kif 17894-17894	relativeAngle は 3進述語の instance では %n
(instance relativeAngle TotalValuedRelation)	Merge.kif 17895-17895	relativeAngle は合計値関係の instance では %n

appearance as argument number 2

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

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 17928-17953	relativeAngle オブジェクト, オブジェクト and 実数 physicalEnd オブジェクト and オブジェクト physicalEnd オブジェクト and オブジェクトオブジェクトはオブジェクトと equal ではオブジェクトの length は実数1 の測定単位(s) ではオブジェクトの length は実数2 の測定単位(s) ではオブジェクトとオブジェクトの distance は実数3 の測定単位(s) では %n physicalEnd オブジェクト and オブジェクト physicalEnd オブジェクト and オブジェクトオブジェクトはオブジェクトと equal ではオブジェクトはオブジェクトと meet ない実数は ArcCosineFn (( 実数3 + 実数3 + 実数1 + 実数1) + 実数2 + 実数2) + 2.0 + 実数1 + 実数2 と equal では %n
(=> (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 17916-17925	relativeAngle オブジェクト, オブジェクト and 実数オブジェクトはオブジェクトの instance では %n LongAndThin はオブジェクトの attribute では %n オブジェクトはオブジェクトの instance では %n LongAndThin はオブジェクトの attribute では %n オブジェクトはオブジェクトと connected してオブジェクトはオブジェクトと equal では

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 17904-17914

オブジェクトはオブジェクトの instance では %n LongAndThin はオブジェクトの attribute では %n オブジェクトはオブジェクトの instance では %n LongAndThin はオブジェクトの attribute では %n オブジェクトはオブジェクトと connected してオブジェクトはオブジェクトと equal では
実数 relativeAngle オブジェクト, オブジェクト and 実数

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

KB Term:			Term intersection

English Word: