KnockLight - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - KnockLight

KnockLight(knock light)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22030-22031
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22029-22029	Knock light is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 22032-22032

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22053-22066	If a physical is an instance of knock light and deaf is an attribute of an agent and the physical is located at an object and the agent is located at the object and another object is an instance of door and the other object is a part of the object, then the physical has the purpose the agent knows there exists an entity such that the entity is an instance of impacting and the other object is a patient of the entity for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22034-22051	If a physical is an instance of knock light and an object is an instance of room and the physical is located at the object and another object is an instance of door and the other object is a part of the object, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of impacting and the other object is a patient of the third entity and the third entity causes the entity and the entity is an instance of radiating sound and the other object is an agent of the entity and the entity causes the other entity and the other entity is an instance of radiating light and the physical is an agent of the other 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