| Living(living)
| | abidance, abide, accommodate, afterlife, alive, aliveness, animateness, animation, be, bide, bivouac, bivouacking, board, breathe, camp, camp_out, camping, cohabit, cohabitation, concubinage, consist, domicile, domiciliate, dwell, encamp, encampment, endurance, eternal_life, exist, habitation, hereafter, immortality, indwell, infest, inhabit, inhabitancy, inhabitation, kick_about, kick_around, kingdom_come, knock_about, lie, lie_in, life, life_eternal, live, live_together, liveness, living, lodge... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4015-4015 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16819-16820 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3157-3157 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2976-2976 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3156-3156 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16818-16818 | Living is an instance of animacy attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16830-16830 | Dead is the opposite of living |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16815-16815 | Living are all the attributes of animacy attribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34770-34770 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34769-34769 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34768-34768 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17003-17010 | An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11473-11479 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16822-16826 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1526-1528 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16974-16980 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 94-97 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17026-17030 |
|
|
|
|