Motorcycle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Motorcycle

Motorcycle(motorcycle)

bike, dirt_bike, minibike, motorbike, motorcycle, scrambler, trail_bike

appearance as argument number 1

(documentation Motorcycle EnglishLanguage "Motorcycle is the subclass of RoadVehicles that have two wheels one behind the other in the frame, upon which the rider sits on a seat above the engine.")	Transportation.kif 2017-2019
(externalImage Motorcycle "http://articulatesoftware.com/SUMOpictures/transportation/ motorcycle/ Motorcycle_21.png")	pictureList.kif 607-607
(externalImage Motorcycle "http://articulatesoftware.com/SUMOpictures/transportation/ motorcycle/ cycle_2.png")	pictureList.kif 379-379
(subclass Motorcycle SelfPoweredRoadVehicle)	Transportation.kif 2016-2016	Motorcycle is a subclass of self powered road vehicle

appearance as argument number 2

(termFormat ChineseLanguage Motorcycle "摩托车")	domainEnglishFormat.kif 38829-38829
(termFormat ChineseTraditionalLanguage Motorcycle "摩托車")	domainEnglishFormat.kif 38828-38828
(termFormat EnglishLanguage Motorcycle "motorcycle")	domainEnglishFormat.kif 38827-38827

antecedent

(=>
(instance ?M Motorcycle)
(equipmentCount ?M VehicleWheel 2))

Transportation.kif 2021-2023

If an object is an instance of motorcycle,
then the object equipment count vehicle wheel for 2

consequent

(=> (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
(=> (instance ?MH MotorcycleHelmet) (hasPurpose ?MH (exists (?P ?D ?M) (and (instance ?D Driving) (agent ?D ?P) (instance ?M Motorcycle) (patient ?D ?M) (instance ?P Human) (holdsDuring (WhenFn ?D) (wears ?P ?MH))))))	Cars.kif 4354-4365	If a physical is an instance of motorcycle helmet, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of driving and the entity is an agent of the other entity and the third entity is an instance of motorcycle and the third entity is a patient of the other entity and the entity is an instance of human and the entity wears the physical holds during the time of existence of the other 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