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 2327-2329
(subclass Driveshaft Shaft)	Cars.kif 2325-2325	Driveshaft 是轴的 subclass

appearance as argument number 2

(termFormat EnglishLanguage Driveshaft "driveshaft")

Cars.kif 2326-2326

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 2331-2343

如果物理是 Driveshaft 的 instance，
然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第四实体是汽车的 instance 和那个第三实体是轮的 instance 和那个物理是那个第四实体的 part 和那个第三实体是那个第四实体的 part 和那个实体是旋转的 instance 和那个物理是那个实体的 patient 和那个第三实体是那个另外实体的 patient 和那个实体 causes 那个另外实体

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 2352-2386

如果物理是 AutomobileTransmission 的 instance，
然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体,，，第六实体,，，第七实体,，，第八实体,，，第九实体， and 和第十实体这样那个实体是 Crankshaft 的 instance 和那个另外实体是 Driveshaft 的 instance 和那个第三实体是汽车的 instance 和那个另外实体是那个第三实体的 part 和那个物理是那个第三实体的 part 和那个实体是那个第三实体的 part 和那个实体是和那个物理 connected 和那个另外实体是和那个物理 connected 和那个第四实体是旋转的 instance 和那个第六实体是旋转的 instance 和那个第七实体是旋转的 instance 和那个第八实体是旋转的 instance 和那个实体是那个第四实体的 patient 和那个实体是那个第六实体的 patient 和那个另外实体是那个第七实体的 patient 和那个另外实体是那个第八实体的 patient 和那个第四实体 causes 那个第七实体和那个第六实体 causes 那个第八实体和那个第四实体不 equal 那个第六实体和那个实体的 measure 是 RotationFn 那个第五实体 and 分钟在那个第四实体 holdsDuring 和那个实体的 measure 是 RotationFn 那个第五实体 and 分钟在那个第六实体 holdsDuring 和那个另外实体的 measure 是 RotationFn 那个第九实体 and 分钟在那个第七实体 holdsDuring 和那个另外实体的 measure 是 RotationFn 那个第十实体 and 分钟在那个第八实体 holdsDuring 和那个第九实体不 equal 那个第十实体

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: