Closing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Closing

Closing(closing)

more pictures...

bang, bung, close, shut, slam, tamponade, tamponage

appearance as argument number 1

(documentation Closing EnglishLanguage "The Class of Processes where an aperture is closed in an Object.")	Mid-level-ontology.kif 22616-22617
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/1/ 15/ Towerbridge_closed.jpg")	pictureList.kif 10640-10640
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/3/ 3c/ Tuerschliesser1_fcm.jpg")	pictureList.kif 10643-10643
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg")	pictureList.kif 9943-9943
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Wooden_Door.JPG")	pictureList.kif 10642-10642
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Safety_measures_of_a_tram_door.jpg")	pictureList.kif 10641-10641
(subclass Closing Motion)	Mid-level-ontology.kif 22615-22615	Closing is a subclass of motion

appearance as argument number 2

(relatedInternalConcept Opening Closing)	Mid-level-ontology.kif 22609-22609	Opening is internally related to closing
(subclass ClosingEyes Closing)	Mid-level-ontology.kif 21049-21049	Closing eyes is a subclass of closing
(termFormat ChineseLanguage Closing "关闭")	domainEnglishFormat.kif 15219-15219	Closing eyes is a subclass of closing
(termFormat ChineseTraditionalLanguage Closing "關閉")	domainEnglishFormat.kif 15218-15218	Closing eyes is a subclass of closing
(termFormat EnglishLanguage Closing "closing")	domainEnglishFormat.kif 15217-15217	Closing eyes is a subclass of closing

consequent

(=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability Opening patient ?VD) (capability Closing patient ?VD)))	Mid-level-ontology.kif 30517-30523	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
(=> (attribute ?X Locked) (exists (?LOCK ?CLOSE ?MOVE) (and (instance ?LOCK Lock) (connected ?LOCK ?X) (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (instance ?MOVE Motion) (earlier (WhenFn ?CLOSE) (WhenFn (attribute ?X Locked))) (holdsDuring (WhenFn (attribute ?X Locked)) (not (modalAttribute (patient ?MOVE ?X) Possibility))))))	Mid-level-ontology.kif 2764-2780	If locked is an attribute of an object, then there exist another object, a process and an entity such that the other object is an instance of lock and the other object is connected to the object and the process is an instance of closing and the other object is a patient of the process and the entity is an instance of motion and the time of existence of the process happens earlier than the time of existence of locked is an attribute of the object and the statement the object is a patient of the entity doesn't have the modal force of possibility holds during the time of existence of locked is an attribute of the object
(=> (instance ?CS ChestSeal) (hasPurpose ?CS (exists (?C ?CH ?I ?H) (and (instance ?C Closing) (instrument ?C ?CS) (located ?C ?CH) (instance ?CH Chest) (instance ?H HoleRegion) (equal ?CH (HoleHostFn ?H)) (instance ?I Injuring) (located ?I ?CH) (earlier (WhenFn ?I) (WhenFn ?C))))))	Medicine.kif 816-832	If a physical is an instance of chest seal, then the physical has the purpose there exist an entity, the entityH,, , a third entity and a fourth entity such that the entity is an instance of closing and the physical is an instrument for the entity and the entity is located at the entityH and the entityH is an instance of chest and the fourth entity is an instance of hole and the entityH is equal to the host of the hole the fourth entity and the third entity is an instance of injuring and the third entity is located at the entityH and the time of existence of the third entity happens earlier than the time of existence of the entity
(=> (instance ?HS HeatSealer) (hasPurpose ?HS (exists (?CLOSE ?PLAST ?CONT ?HEAT) (and (instance ?CONT Container) (instance ?PLAST Plastic) (instance ?CLOSE Closing) (instance ?HEAT Heating) (instrument ?CLOSE ?HS) (instrument ?CLOSE ?PLAST) (agent ?HEAT ?HS) (patient ?HEAT ?PLAST) (result ?HEAT ?CLOSE) (patient ?CLOSE ?CONT)))))	Economy.kif 5373-5387	If a physical is an instance of heat sealer, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of container and the other entity is an instance of plastic and the entity is an instance of closing and the fourth entity is an instance of heating and the physical is an instrument for the entity and the other entity is an instrument for the entity and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity and the entity is a result of the fourth entity and the third entity is a patient of the entity
(=> (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 4085-4093	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 ?VD VehicleDoor) (hasPurpose ?VD (exists (?C) (and (instance ?C Closing) (patient ?C ?VD)))))	Mid-level-ontology.kif 30509-30515	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 closing and the physical is a patient of the entity
(=> (instance ?X Key) (hasPurpose ?X (exists (?LOCK ?CLOSE ?OPEN) (and (instance ?LOCK Lock) (capability (KappaFn ?CLOSE (and (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (holdsDuring (ImmediateFutureFn ?CLOSE) (attribute ?LOCK Locked)))) instrument ?X) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn ?OPEN) (not (attribute ?LOCK Locked))))) instrument ?X)))))	Mid-level-ontology.kif 2736-2758	If a physical is an instance of key, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of lock and the physical is capable of doing the class described by the other entity as a instrument and the physical is capable of doing the class described by the third entity as a instrument
(=> (instance ?X RemoteKeylessSystem) (exists (?KEY ?LOCK ?CLOSE ?OPEN) (and (instance ?KEY Key) (instance ?KEY RemoteControl) (member ?KEY ?X) (instance ?LOCK Lock) (member ?LOCK ?X) (capability (KappaFn ?CLOSE (and (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (holdsDuring (ImmediateFutureFn ?CLOSE) (attribute ?LOCK Locked)))) instrument ?KEY) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn ?OPEN) (not (attribute ?LOCK Locked))))) instrument ?KEY))))	Cars.kif 3836-3861	If a collection is an instance of remote keyless system, then there exist an object, a physical,, , a symbolic string and another symbolic string such that the object is an instance of key and the object is an instance of remote control and the object is a member of the collection and the physical is an instance of lock and the physical is a member of the collection and the object is capable of doing the class described by the symbolic string as a instrument and the object is capable of doing the class described by the other symbolic string as a instrument

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