Deaf - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Deaf

Deaf(deaf)

deaf, deaf_as_a_post, profoundly_deaf, stone-deaf, unhearing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16317-16318
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10820-10820
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10821-10821
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10822-10822
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9990-9990
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16316-16316	Deaf is an instance of sensory disability

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18735-18735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18734-18734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18733-18733

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 16320-16323	If deaf is an attribute of an object, then the object is not capable of doing hearing as a agent

consequent

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

Mid-level-ontology.kif 22494-22502

If a physical is an instance of TDDPhone,
then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of telephoning and the physical is an instrument for the other entity and the entity is an agent of the other entity and deaf is an attribute of the 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