Deaf(deafness)![]() ![]() ![]() | ![]() | 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 21350-21351 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10797-10797 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10798-10798 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10799-10799 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9971-9971 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21349-21349 | Deafness is an instance of sensory disability |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18753-18753 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18752-18752 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18751-18751 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27738-27750 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21353-21356 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28181-28189 |
|
![]() |
![]() |