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 21779-21782
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg")	pictureList.kif 11553-11553
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Westbound_Jubilee_Line_platform_at_Waterloo.jpg")	pictureList.kif 11557-11557
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/b/ bc/ Mh_strabtuer_hochflur.jpeg")	pictureList.kif 11555-11555
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/c/ c7/ Mazda_rx-8_front_view_with_doors_open.jpg")	pictureList.kif 11554-11554
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/e/ ec/ IMG_7083_Kopie.jpg")	pictureList.kif 10168-10168
(externalImage Opening "http://upload.wikimedia.org/wikipedia/commons/f/ f2/ Suicide_door.jpg")	pictureList.kif 11556-11556
(relatedInternalConcept Opening Closing)	Mid-level-ontology.kif 21778-21778	Opening is internally related to closing
(subclass Opening Motion)	Mid-level-ontology.kif 21777-21777	Opening is a subclass of motion

appearance as argument number 2

(subclass OpeningEyes Opening)	Mid-level-ontology.kif 20212-20212	Opening eyes is a subclass of opening
(termFormat ChineseLanguage Opening "开盘")	domainEnglishFormat.kif 42236-42236	Opening eyes is a subclass of opening
(termFormat ChineseTraditionalLanguage Opening "開盤")	domainEnglishFormat.kif 42235-42235	Opening eyes is a subclass of opening
(termFormat EnglishLanguage Opening "opening")	domainEnglishFormat.kif 42234-42234	Opening eyes is a subclass of opening

consequent

(=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability Opening patient ?VD) (capability Closing patient ?VD)))	Mid-level-ontology.kif 29686-29692	If an object is an instance of vehicle door and device normal is an attribute of the object, then the object is capable of doing opening as a patient and the object is capable of doing closing as a patient
(=> (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 2428-2438	If doorman is an attribute of an object, then the object has the 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 ?L Lid) (exists (?C) (and (instance ?C Container) (part ?L ?C) (capability Closing instrument ?L) (capability Opening instrument ?L) (top ?L ?C))))	Mid-level-ontology.kif 4012-4020	If a self connected object is an instance of lid, then there exists another self connected object such that the other self connected object is an instance of container and the self connected object is a part of the other self connected object and the self connected object is capable of doing closing as a instrument and the self connected object is capable of doing opening as a instrument and the top of the other self connected object is the self connected object
(=> (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 26051-26062	If a physical is an instance of electronic lock, then the physical has the 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 3247-3262	If a physical is an instance of manifold heat control valve, then the physical has the 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 3829-3849	If a physical is an instance of rocker arm, then the physical has the 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 29670-29676	If a physical is an instance of vehicle door, then the physical has the 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