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 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 The number 1 argument of relative angle is an instance of object
(domain relativeAngle 2 Object) Merge.kif 17954-17954 The number 2 argument of relative angle is an instance of object
(domain relativeAngle 3 RealNumber) Merge.kif 17955-17955 The number 3 argument of relative angle is an instance of real number
(instance relativeAngle TernaryPredicate) Merge.kif 17951-17951 relative angle is an instance of ternary predicate
(instance relativeAngle TotalValuedRelation) Merge.kif 17952-17952 relative angle is an instance of total valued relation

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


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