Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - relativeAngle
relativeAngle

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 17877-17878
(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 17936-17938
(domain relativeAngle 1 Object) Merge.kif 17874-17874 relativeAngle の数値 1 引数は オブジェクト の instance では %n
(domain relativeAngle 2 Object) Merge.kif 17875-17875 relativeAngle の数値 2 引数は オブジェクト の instance では %n
(domain relativeAngle 3 RealNumber) Merge.kif 17876-17876 relativeAngle の数値 3 引数は 実数 の instance では %n
(instance relativeAngle TernaryPredicate) Merge.kif 17872-17872 relativeAngle は 3進述語 の instance では %n
(instance relativeAngle TotalValuedRelation) Merge.kif 17873-17873 relativeAngle は 合計値関係 の instance では %n

appearance as argument number 2
-------------------------


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

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 17906-17931
(=>
    (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 17894-17903

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 17882-17892


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners