FourByFourTire - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FourByFourTire EnglishLanguage "A VehicleTire that is intended for use on a FourWheelDriveVehicle, having increased traction compared to vehicle tires intended for use on Asphalt.")	Cars.kif 4657-4659
(subclass FourByFourTire Tire)	Cars.kif 4656-4656	FourByFourTire ist eine teilkategorie von Tire

appearance as argument number 2

(termFormat EnglishLanguage FourByFourTire "4 by 4 tire")	Cars.kif 4654-4654
(termFormat EnglishLanguage FourByFourTire "4x4 tire")	Cars.kif 4653-4653
(termFormat EnglishLanguage FourByFourTire "four wheel drive tire")	Cars.kif 4655-4655

antecedent

(=>
    (instance ?FFT FourByFourTire)
    (hasPurpose ?FFT
        (exists (?FWDV)
            (and
                (instance ?FWDV FourWheelDriveVehicle)
                (part ?FFT ?FWDV)))))

Cars.kif 4661-4667

Wenn Physical ist ein fall von FourByFourTire %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von FourWheelDriveVehicle %n{nicht} und ** Physical ist ein teil von ** entity %n{nicht} %n{nicht}