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 Il numero 1 argomenti di relativeAngle è un istanza di Oggetto
(domain relativeAngle 2 Object) Merge.kif 17954-17954 Il numero 2 argomenti di relativeAngle è un istanza di Oggetto
(domain relativeAngle 3 RealNumber) Merge.kif 17955-17955 Il numero 3 argomenti di relativeAngle è un istanza di NumeroReale
(instance relativeAngle TernaryPredicate) Merge.kif 17951-17951 relativeAngle è un' istanza di PredicatoTernario
(instance relativeAngle TotalValuedRelation) Merge.kif 17952-17952 relativeAngle è un' istanza di RelazioneAValoreTotale

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