| AnimacyAttribute(animacy attribute) | | breathless, cold, deathlike, deathly, inanimate, pulseless |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4013-4014 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18179-18180 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18178-18178 | Living are all the attributes of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18177-18177 | Animacy attribute is a subclass of biological attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18191-18191 | Dead is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18181-18181 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1258-1258 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1737-1737 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 936-936 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 472-472 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 475-475 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2620-2620 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 888-888 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 511-511 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 770-770 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 957-957 | Living is an instance of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 476-476 | Living is an instance of animacy attribute |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18197-18202 |
|
|
|
|