TreeView Knowledge Base Browser - Closing

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 21526-21527
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 21525-21525	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 21519-21519	Opening is internally related to closing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19959-19959	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 29390-29396	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 29382-29388	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 3783-3808	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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