MotorcycleGlove - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MotorcycleGlove EnglishLanguage "Gloves that are intended for use while riding a Motorcycle. They may include features such as special fabrics or armor to protect the hands in case of an accident.")	Cars.kif 4730-4732
(subclass MotorcycleGlove Glove)	Cars.kif 4726-4726	Motorcycle glove is a subclass of glove
(subclass MotorcycleGlove SafetyDevice)	Cars.kif 4727-4727	Motorcycle glove is a subclass of safety device

appearance as argument number 2

(termFormat EnglishLanguage MotorcycleGlove "motorcycle glove")

Cars.kif 4729-4729

antecedent

(=>
    (instance ?MG MotorcycleGlove)
    (hasPurpose ?MG
        (exists (?M ?D ?T)
            (and
                (instance ?T Driving)
                (agent ?T ?D)
                (instrument ?T ?M)
                (instance ?M Motorcycle)
                (holdsDuring
                    (WhenFn ?T)
                    (wears ?D ?MG))))))

Cars.kif 4734-4744

If a physical is an instance of motorcycle glove,
then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of driving and the other entity is an agent of the third entity and the entity is an instrument for the third entity and the entity is an instance of motorcycle and the other entity wears the physical holds during the time of existence of the third 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: