Getting(getting) | ![]() | absorb, abstract, accept, acceptance, acceptation, accession, accessional, accrue, acquire, acquired, acquiring, acquisition, addition, admit, adoption, aggregate, allot, ancestral, annexation, annexational, appropriation, appropriative, arrogate, assign, assume, assumption, attained, avail, benefit, borrowing, bosom, bring_home, bring_in, buy_out, buy_up, cabbage, cadge, call_for, carjack, carry-the_can, catch, clawback, clear, collect, combine, come_by, come_into, come_up, conquest, cozen... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3086-3087 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11927-11929 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1857-1858 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11925-11925 | Getting is a subclass of change of possession |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 185-185 | The values returned by receiving an object fn are subclasses of getting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11953-11953 | Borrowing is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | Military.kif 51-51 | Food distribution operation is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11937-11937 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1136-1136 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1489-1489 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 814-814 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 346-346 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 349-349 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2498-2498 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 766-766 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 351-351 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 385-385 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 644-644 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 835-835 | Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 350-350 | Unilateral getting is a subclass of getting |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11931-11935 |
|
consequent |
![]() |
![]() |
![]() |