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 4806-4808
(subclass MotorcycleGlove Glove)	Cars.kif 4802-4802	Motorcycle glove is a subclass of glove
(subclass MotorcycleGlove SafetyDevice)	Cars.kif 4803-4803	Motorcycle glove is a subclass of safety device

appearance as argument number 2

(termFormat EnglishLanguage MotorcycleGlove "motorcycle glove")

Cars.kif 4805-4805

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 4810-4820

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: