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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RotationFn
RotationFn

appearance as argument number 1
-------------------------


(documentation RotationFn EnglishLanguage "A Function that maps an instance of Rotating to the speed of the rotation.") Cars.kif 2085-2086
(domain RotationFn 1 Rotating) Cars.kif 2087-2087
(domain RotationFn 2 TimeDuration) Cars.kif 2088-2088
(instance RotationFn BinaryFunction) Cars.kif 2083-2083
(range RotationFn FunctionQuantity) Cars.kif 2089-2089

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


(format EnglishLanguage RotationFn "the rotation of %1 during %2") Cars.kif 2084-2084
(termFormat EnglishLanguage RotationFn "rotation fn") domainEnglishFormat.kif 65444-65444

antecedent
-------------------------


(=>
    (and
        (engineIdleSpeed ?E
            (RotationFn
                (MeasureFn ?N1 MilesPerHour) ?M))
        (instance ?A Automobile)
        (instance ?P GasPedal)
        (instance ?P Pushing)
        (destination ?P ?GP)
        (part ?E ?A)
        (part ?GP ?A)
        (instance ?C Crankshaft)
        (part ?C ?E)
        (holdsDuring
            (WhenFn ?P)
            (measure ?C
                (RotationFn
                    (MeasureFn ?N2 MilesPerHour) ?M))))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))		 Cars.kif 2569-2587
(=>
    (and
        (instance ?SH1 Shaft)
        (instance ?SH2 Shaft)
        (not
            (equal ?SH1 ?SH2))
        (instance ?R1 Rotating)
        (patient ?R1 ?SH1)
        (instance ?R2 Rotating)
        (patient ?R2 ?SH2)
        (causes ?R1 ?R2)
        (instance ?CV CVJoint)
        (connectedEngineeringComponents ?R1 ?CV)
        (connectedEngineeringComponents ?R2 ?CV)
        (holdsDuring
            (WhenFn ?R1)
            (equal ?SH1
                (RotationFn ?N ?T))))
    (holdsDuring
        (WhenFn ?R2)
        (equal ?SH2
            (RotationFn ?N ?T))))		 Cars.kif 2098-2117

consequent
-------------------------


(=>
    (and
        (instance ?SH1 Shaft)
        (instance ?SH2 Shaft)
        (not
            (equal ?SH1 ?SH2))
        (instance ?R1 Rotating)
        (patient ?R1 ?SH1)
        (instance ?R2 Rotating)
        (patient ?R2 ?SH2)
        (causes ?R1 ?R2)
        (instance ?CV CVJoint)
        (connectedEngineeringComponents ?R1 ?CV)
        (connectedEngineeringComponents ?R2 ?CV)
        (holdsDuring
            (WhenFn ?R1)
            (equal ?SH1
                (RotationFn ?N ?T))))
    (holdsDuring
        (WhenFn ?R2)
        (equal ?SH2
            (RotationFn ?N ?T))))		 Cars.kif 2098-2117
(=>
    (instance ?AT AutomobileTransmission)
    (hasPurpose ?AT
        (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
            (and
                (instance ?C Crankshaft)
                (instance ?D Driveshaft)
                (instance ?A Automobile)
                (part ?D ?A)
                (part ?AT ?A)
                (part ?C ?A)
                (connectedEngineeringComponents ?C ?AT)
                (connectedEngineeringComponents ?D ?AT)
                (instance ?R1 Rotating)
                (instance ?R2 Rotating)
                (instance ?R3 Rotating)
                (instance ?R4 Rotating)
                (patient ?R1 ?C)
                (patient ?R2 ?C)
                (patient ?R3 ?D)
                (patient ?R4 ?D)
                (causes ?R1 ?R3)
                (causes ?R2 ?R4)
                (not
                    (equal ?R1 ?R2))
                (holdsDuring ?R1
                    (measure ?C
                        (RotationFn ?N1 MinuteDuration)))
                (holdsDuring ?R2
                    (measure ?C
                        (RotationFn ?N1 MinuteDuration)))
                (holdsDuring ?R3
                    (measure ?D
                        (RotationFn ?N2 MinuteDuration)))
                (holdsDuring ?R4
                    (measure ?D
                        (RotationFn ?N3 MinuteDuration)))
                (not
                    (equal ?N2 ?N3))))))		 Cars.kif 2330-2364


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