No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11788-11788 |
Unilateral getting is internally related to unilateral giving |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18641-18641 |
Awarding is a subclass of unilateral giving |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18675-18675 |
Bequeathing is a subclass of unilateral giving |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1134-1134 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1485-1485 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 812-812 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 344-344 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 347-347 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2496-2496 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 764-764 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 383-383 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 833-833 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 348-348 |
|