TwoWheelDriveVehicle - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TwoWheelDriveVehicle EnglishLanguage "A LandVehicle that is capable of providing power to all four Wheels.")	Cars.kif 4616-4617
(subclass TwoWheelDriveVehicle LandVehicle)	Cars.kif 4614-4614	子類 TwoWheelDriveVehicle and 陸地車輛

appearance as argument number 2

(termFormat EnglishLanguage TwoWheelDriveVehicle "four wheel drive")

Cars.kif 4615-4615

antecedent

(=>
    (instance ?TWD TwoWheelDriveVehicle)
    (hasPurpose ?TWD
        (exists (?W1 ?W2)
            (and
                (part ?W1 ?TWD)
                (part ?W2 ?TWD)
                (not
                    (equal ?W1 ?W2))
                (exists (?E ?C ?R1 ?R2 ?R3)
                    (and
                        (instance ?E Engine)
                        (part ?E ?TWD)
                        (instance ?C Crankshaft)
                        (part ?C ?E)
                        (instance ?R1 Rotating)
                        (patient ?R1 ?C)
                        (instance ?R2 Rotating)
                        (patient ?R2 ?W1)
                        (causes ?R1 ?R2)
                        (patient ?R3 ?W2)
                        (causes ?R1 ?R3)
                        (not
                            (exists (?W3 ?R4)
                                (and
                                    (not
                                        (equal ?W1 ?W3))
                                    (not
                                        (equal ?W2 ?W3))
                                    (part ?W3 ?TWD)
                                    (instance ?R4 Rotating)
                                    (patient ?R4 ?W3)
                                    (causes ?R1 ?R4))))))))))

Cars.kif 4619-4651

例 Physical and TwoWheelDriveVehicle
有目的 Physical and entity entity 部分 entity and Physical 部分 entity and Physical 等於 entity and entity entity entity, entity, entity and entity 例 entity and 發動機部分 entity and Physical 例 entity and Crankshaft 部分 entity and entity 例 entity and 旋轉患者 entity and entity 例 entity and 旋轉患者 entity and entity 原因 entity and entity 患者 entity and entity 原因 entity and entity entity entity 等於 entity and entity 等於 entity and entity 部分 entity and Physical 例 entity and 旋轉患者 entity and entity 原因 entity and entity

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

KB Term:			Term intersection

English Word: