Opening - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Opening

Opening(opening)

more pictures...

open, open_up, unlock, ventilate

appearance as argument number 1

(documentation Opening EnglishLanguage "The Class of Processes where an aperture is created in an Object. Note that the aperture may be created intentionally, as when one opens a door, or unintentionally, as when the ground ruptures in a seismic event.")	Mid-level-ontology.kif 19201-19204
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg")	pictureList.kif 11580-11580
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Westbound_Jubilee_Line_platform_at_Waterloo.jpg")	pictureList.kif 11584-11584
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Mh_strabtuer_hochflur.jpeg")	pictureList.kif 11582-11582
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Mazda_rx-8_front_view_with_doors_open.jpg")	pictureList.kif 11581-11581
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ IMG_7083_Kopie.jpg")	pictureList.kif 10189-10189
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/f/ f2/ Suicide_door.jpg")	pictureList.kif 11583-11583
(relatedInternalConcept Opening Closing)	Mid-level-ontology.kif 19200-19200	Opening is internally related to closing
(subclass Opening Motion)	Mid-level-ontology.kif 19199-19199	Opening is a subclass of motion

appearance as argument number 2

(subclass OpeningEyes Opening)	Mid-level-ontology.kif 17743-17743	Opening eyes is a subclass of opening
(termFormat ChineseLanguage Opening "开盘")	domainEnglishFormat.kif 42181-42181
(termFormat ChineseTraditionalLanguage Opening "開盤")	domainEnglishFormat.kif 42180-42180
(termFormat EnglishLanguage Opening "opening")	domainEnglishFormat.kif 42179-42179

consequent

(=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability patient Opening ?VD) (capability patient Closing ?VD)))	Mid-level-ontology.kif 27588-27594	If an object is an instance of VehicleDoor and DeviceNormal is an attribute of the object, then the object is capable of doing patient as a opening and the object is capable of doing patient as a closing
(=> (attribute ?X Doorman) (hasPurpose ?X (exists (?DOOR ?PROC) (and (instance ?DOOR Door) (agent ?PROC ?X) (patient ?PROC ?DOOR) (or (instance ?PROC Opening) (instance ?PROC Closing))))))	Hotel.kif 2375-2385	If doorman is an attribute of an object, then the object purpose there exist an entity and another entity such that the entity is an instance of door and the object is an agent of the other entity and the entity is a patient of the other entity and the other entity is an instance of opening or the other entity is an instance of closing
(=> (instance ?LOCK ElectronicLock) (hasPurpose ?LOCK (exists (?ES ?PROC) (and (instance ?ES ElectronicSignalling) (destination ?ES ?LOCK) (instance ?PROC Opening) (instrument ?PROC ?LOCK) (before (BeginFn (WhenFn ?ES)) (BeginFn (WhenFn ?PROC)))))))	Mid-level-ontology.kif 23747-23758	If a physical is an instance of electronic lock, then the physical purpose there exist an entity and another entity such that the entity is an instance of electronic signalling and the entity ends up at the physical and the other entity is an instance of opening and the physical is an instrument for the other entity and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity
(=> (instance ?MHCV ManifoldHeatControlValve) (hasPurpose ?MHCV (exists (?H ?O ?E ?FV ?T) (and (instance ?H Heating) (instance ?O Opening) (instance ?E Exhaust) (instance ?T Transfer) (instance ?FV FuelVapor) (patient ?O ?MHCV) (instrument ?H ?E) (patient ?H ?FV) (path ?T ?MHCV) (causes ?O ?T) (causes ?T ?H)))))	Cars.kif 3237-3252	If a physical is an instance of ManifoldHeatControlValve, then the physical purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of heating and the other entity is an instance of opening and the third entity is an instance of exhaust and the fifth entity is an instance of transfer and the fourth entity is an instance of fuel vapor and the physical is a patient of the other entity and the third entity is an instrument for the entity and the fourth entity is a patient of the entity and the physical is path along which the fifth entity occurs and the other entity causes the fifth entity and the fifth entity causes the entity
(=> (instance ?RA RockerArm) (hasPurpose ?RA (exists (?P1 ?C ?P2 ?V ?O ?FSE) (and (instance ?P1 Pushing) (instance ?C Cam) (instance ?P2 Pushing) (instance ?V Valve) (instance ?O Opening) (instance ?FSE FourStrokeEngine) (part ?RA ?FSE) (part ?C ?FSE) (part ?V ?FSE) (instrument ?P1 ?C) (destination ?P1 ?RA) (instrument ?P2 ?RA) (destination ?P2 ?V) (causes ?P1 ?P2) (causes ?P2 ?O) (patient ?O ?V)))))	Cars.kif 3818-3838	If a physical is an instance of rocker arm, then the physical purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of pushing and the other entity is an instance of cam and the third entity is an instance of pushing and the fourth entity is an instance of valve and the fifth entity is an instance of opening and the sixth entity is an instance of four stroke engine and the physical is a part of the sixth entity and the other entity is a part of the sixth entity and the fourth entity is a part of the sixth entity and the other entity is an instrument for the entity and the entity ends up at the physical and the physical is an instrument for the third entity and the third entity ends up at the fourth entity and the entity causes the third entity and the third entity causes the fifth entity and the fourth entity is a patient of the fifth entity
(=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?O) (and (instance ?O Opening) (patient ?O ?VD)))))	Mid-level-ontology.kif 27572-27578	If a physical is an instance of VehicleDoor, then the physical purpose there exists an entity such that the entity is an instance of opening and the physical is a patient of the 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