Dead
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18115-18115 | 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 18116-18117 | |
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 18113-18113 | Dead is an instance of animacy attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18114-18114 | 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 18100-18100 | 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 10244-10259 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12327-12333 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22110-22118 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22306-22320 |
|
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 6845-6851 |
|
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 22100-22108 |
|