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 17608-17609
(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 17667-17669
(domain relativeAngle 1 Object) Merge.kif 17605-17605 relativeAngle 的 1 数量 是 客体instance
(domain relativeAngle 2 Object) Merge.kif 17606-17606 relativeAngle 的 2 数量 是 客体instance
(domain relativeAngle 3 RealNumber) Merge.kif 17607-17607 relativeAngle 的 3 数量 是 实数instance
(instance relativeAngle TernaryPredicate) Merge.kif 17603-17603 relativeAngle三元谓语instance
(instance relativeAngle TotalValuedRelation) Merge.kif 17604-17604 relativeAngle总值关系instance

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


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

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 17637-17662
(=>
    (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 17625-17634

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 17613-17623


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