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 18268-18269 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3155-3155 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2974-2974 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3154-3154 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18267-18267 | 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 18279-18279 | Dead is the opposite of living |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18264-18264 | Living are all the attributes of animacy attribute |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34798-34798 | Living are all the attributes of animacy attribute |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34797-34797 | Living are all the attributes of animacy attribute |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34796-34796 | Living are all the attributes of animacy attribute |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18486-18493 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12578-12593 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18495-18501 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12455-12461 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18271-18275 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13168-13175 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1628-1630 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18457-18463 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 96-99 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6589-6596 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18531-18535 |
|
![]() |
![]() |