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 4669-4670
(subclass TwoWheelDriveVehicle LandVehicle)	Cars.kif 4667-4667	TwoWheelDriveVehicle は LandVehicle の subclass では

appearance as argument number 2

(termFormat EnglishLanguage TwoWheelDriveVehicle "four wheel drive")

Cars.kif 4668-4668

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 4672-4704

物理は TwoWheelDriveVehicle の instance では
物理はエンティティーエンティティーエンティティーは物理の part ではエンティティーは物理の part では equal エンティティー and エンティティーエンティティーエンティティー, エンティティー, エンティティー and エンティティーエンティティーは Engine の instance ではエンティティーは物理の part ではエンティティーは Crankshaft の instance ではエンティティーはエンティティーの part ではエンティティーは Rotating の instance ではエンティティーはエンティティーの patient ではエンティティーは Rotating の instance ではエンティティーはエンティティーの patient ではエンティティーはエンティティーを causes エンティティーはエンティティーの patient ではエンティティーはエンティティーを causes エンティティーエンティティー equal エンティティー and エンティティー equal エンティティー and エンティティーエンティティーは物理の part ではエンティティーは Rotating の instance ではエンティティーはエンティティーの patient ではエンティティーはエンティティーを causes の目的

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: