TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Driveshaft EnglishLanguage "A Shaft that transmits power from the AutomobileTransmission to a Differential or more directly to the Wheels of an Automobile.")	Cars.kif 2321-2323
(subclass Driveshaft Shaft)	Cars.kif 2319-2319	Driveshaft est une sous-classe de Shaft

appearance as argument number 2

(termFormat EnglishLanguage Driveshaft "driveshaft")

Cars.kif 2320-2320

antecedent

(=>
    (instance ?D Driveshaft)
    (hasPurpose ?D
        (exists (?R1 ?R2 ?W ?A)
            (and
                (instance ?A Automobile)
                (instance ?W Wheel)
                (part ?D ?A)
                (part ?W ?A)
                (instance ?R1 Rotating)
                (patient ?R1 ?D)
                (patient ?R2 ?W)
                (causes ?R1 ?R2)))))

Cars.kif 2325-2337

Physique est une instance de Driveshaft
physique a pour but entit� entit�, entit� and entit� entit� est une instance de Automobile entit� est une instance de Wheel physique est une partie de entit� entit� est une partie de entit� entit� est une instance de Rotating physique est un patient de entit� entit� est un patient de entit� entit� cause entit�

consequent

(=>
    (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 2346-2380

Physique est une instance de AutomobileTransmission
physique a pour but entit� entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit� and entit� entit� est une instance de Crankshaft entit� est une instance de Driveshaft entit� est une instance de Automobile entit� est une partie de entit� physique est une partie de entit� entit� est une partie de entit� entit� est connect� � physique entit� est connect� � physique entit� est une instance de Rotating entit� est une instance de Rotating entit� est une instance de Rotating entit� est une instance de Rotating entit� est un patient de entit� entit� est un patient de entit� entit� est un patient de entit� entit� est un patient de entit� entit� cause entit� entit� cause entit� entit� est entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� entit� est entit�

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

Show without tree

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

KB Term:			Term intersection

English Word: