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 4588-4589
(subclass TwoWheelDriveVehicle LandVehicle)	Cars.kif 4586-4586	subclass TwoWheelDriveVehicle and LandVehicle

appearance as argument number 2

(termFormat EnglishLanguage TwoWheelDriveVehicle "four wheel drive")

Cars.kif 4587-4587

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 4591-4623

instance Physical and TwoWheelDriveVehicle
hasPurpose Physical and entity entity part entity and Physical part entity and Physical equal entity and entity entity entity, entity, entity and entity instance entity and Engine part entity and Physical instance entity and Crankshaft part entity and entity instance entity and Rotating patient entity and entity instance entity and Rotating patient entity and entity causes entity and entity patient entity and entity causes entity and entity entity entity equal entity and entity equal entity and entity part entity and Physical instance entity and Rotating patient entity and entity causes 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: