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 11803-11803 |
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 11787-11787 |
Unilateral getting is a subclass of getting |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1136-1136 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1489-1489 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 814-814 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 346-346 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 349-349 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2498-2498 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 766-766 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 351-351 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 385-385 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 835-835 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 350-350 |
|