Dead
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18093-18093 | Dead is the opposite of living |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4016-4016 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18094-18095 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3063-3063 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2945-2945 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3062-3062 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3064-3064 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3061-3061 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18091-18091 | Dead is an instance of animacy attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18092-18092 | Dead is a subattribute of unconscious |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18732-18732 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18731-18731 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18730-18730 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18078-18078 | Living are all the attributes of animacy attribute |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Law.kif 480-489 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10222-10237 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12305-12311 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22111-22119 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22307-22321 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 760-766 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 774-780 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6846-6852 |
|
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 22101-22109 |
|