appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18279-18279 | Dead is the opposite of living |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4016-4016 | Dead is the opposite of living |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18280-18281 | Dead is the opposite of living |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3062-3062 | Dead is the opposite of living |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2944-2944 | Dead is the opposite of living |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3061-3061 | Dead is the opposite of living |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3063-3063 | Dead is the opposite of living |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3060-3060 | Dead is the opposite of living |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18277-18277 | Dead is an instance of animacy attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18278-18278 | Dead is a subattribute of unconscious |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18741-18741 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18740-18740 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18739-18739 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18264-18264 | Living are all the attributes of animacy attribute |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Law.kif 486-495 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10362-10377 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12455-12461 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23754-23762 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23948-23962 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 792-798 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 806-812 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8007-8013 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 41-43 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23744-23752 |
|
![]() |
![]() |