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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21527-21528
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10642-10642
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10645-10645
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9944-9944
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10644-10644
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10643-10643
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21526-21526	Closing is a subclass of motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21520-21520	Opening is internally related to closing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19960-19960	Closing eyes is a subclass of closing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15204-15204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15203-15203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15202-15202

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29402-29408	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2698-2714	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5163-5177	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4019-4027	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29394-29400	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2670-2692	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3775-3800	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