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

more pictures...

VerbNet: spank-18.3|slam, other_cos-45.4|shut, other_cos-45.4|shut, spank-18.3|slam,

appearance as argument number 1

(documentation Closing EnglishLanguage "The Class of Processes where an aperture is closed in an Object.")	Mid-level-ontology.kif 19165-19166
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/1/ 15/ Towerbridge_closed.jpg")	pictureList.kif 10663-10663	externalImage Closing and "http://upload.wikimedia.org/wikipedia/commons/1/15/ Towerbridge_closed.jpg"
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/3/ 3c/ Tuerschliesser1_fcm.jpg")	pictureList.kif 10666-10666	externalImage Closing and "http://upload.wikimedia.org/wikipedia/commons/3/3c/ Tuerschliesser1_fcm.jpg"
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ Tower_Bridge_closing.jpg")	pictureList.kif 9962-9962	externalImage Closing and "http://upload.wikimedia.org/wikipedia/commons/4/47/ Tower_Bridge_closing.jpg"
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Wooden_Door.JPG")	pictureList.kif 10665-10665	externalImage Closing and "http://upload.wikimedia.org/wikipedia/commons/6/6d/ Wooden_Door.JPG"
(externalImage Closing "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Safety_measures_of_a_tram_door.jpg")	pictureList.kif 10664-10664	externalImage Closing and "http://upload.wikimedia.org/wikipedia/commons/d/d7/ Safety_measures_of_a_tram_door.jpg"
(subclass Closing Motion)	Mid-level-ontology.kif 19164-19164	subclass Closing and Motion

appearance as argument number 2

(relatedInternalConcept Opening Closing)	Mid-level-ontology.kif 19158-19158	relatedInternalConcept Opening and Closing
(subclass ClosingEyes Closing)	Mid-level-ontology.kif 17718-17718	subclass ClosingEyes and Closing
(termFormat ChineseLanguage Closing "关闭")	domainEnglishFormat.kif 15145-15145	termFormat ChineseLanguage, Closing and "关闭"
(termFormat ChineseTraditionalLanguage Closing "關閉")	domainEnglishFormat.kif 15144-15144	termFormat ChineseTraditionalLanguage, Closing and "關閉"
(termFormat EnglishLanguage Closing "closing")	domainEnglishFormat.kif 15143-15143	termFormat EnglishLanguage, Closing and "closing"

consequent

(=> (and (instance ?VD VehicleDoor) (attribute ?VD DeviceNormal)) (and (capability patient Opening ?VD) (capability patient Closing ?VD)))	Mid-level-ontology.kif 27543-27549	instance Object and VehicleDoor attribute Object and DeviceNormal capability patient, Opening and Object capability patient, Closing and Object
(=> (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 2374-2384	attribute Object and Doorman hasPurpose Object and entity entity instance entity and Door agent entity and Object patient entity and entity instance entity and Opening instance entity and 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 3158-3174	attribute Object and Locked Object Process and Entity instance Object and Lock connected Object and Object instance Process and Closing patient Process and Object instance Entity and Motion earlier WhenFn Process and WhenFn attribute Object and Locked holdsDuring WhenFn attribute Object and Locked and modalAttribute patient Entity and Object and Possibility
(=> (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 4429-4443	instance Physical and HeatSealer hasPurpose Physical and entity entity, entity and entity instance entity and Container instance entity and Plastic instance entity and Closing instance entity and Heating instrument entity and Physical instrument entity and entity agent entity and Physical patient entity and entity result entity and entity patient entity and entity
(=> (instance ?VD VehicleDoor) (hasPurpose ?VD (exists (?C) (and (instance ?C Closing) (patient ?C ?VD)))))	Mid-level-ontology.kif 27535-27541	instance Physical and VehicleDoor hasPurpose Physical and entity instance entity and Closing patient entity and Physical
(=> (instance ?X Key) (hasPurpose ?X (exists (?LOCK) (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 3132-3154	instance Physical and Key hasPurpose Physical and entity instance entity and Lock capability KappaFn entity and instance entity and Closing patient entity and entity holdsDuring ImmediateFutureFn entity and attribute entity and Locked, instrument and Physical capability KappaFn entity and instance entity and Closing patient entity and entity holdsDuring ImmediateFutureFn entity and attribute entity and Locked, instrument and Physical
(=> (instance ?X RemoteKeylessSystem) (exists (?KEY ?LOCK) (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 3747-3772	instance Collection and RemoteKeylessSystem Object Object instance Object and Key instance Object and RemoteControl member Object and Collection instance Object and Lock member Object and Collection capability KappaFn SymbolicString and instance SymbolicString and Closing patient SymbolicString and Object holdsDuring ImmediateFutureFn SymbolicString and attribute Object and Locked, instrument and Object capability KappaFn SymbolicString and instance SymbolicString and Closing patient SymbolicString and Object holdsDuring ImmediateFutureFn SymbolicString and attribute Object and Locked, instrument and Object

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners