more pictures...
| Dead
more pictures... | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18172-18172 | Dead est l'oppos� de 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 18173-18174 | |
| 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 18170-18170 | Dead est une instance de attribute de vie |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18171-18171 | Dead est un sous-attribut de inconscient |
| 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 18157-18157 | exhaustiveAttribute attribute de vie, Living and Dead |
| 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 10258-10273 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12351-12357 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22163-22171 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22359-22373 |
|
| 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 6873-6879 | |
| 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 22153-22161 |
|
|
|
|