| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11810-11810 |
Obtencao Unilateral e' relacionado internamente por SUMO a Doacao Unilateral |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18640-18640 |
Awarding e' uma sub-classe de Doacao Unilateral |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18674-18674 |
Bequeathing e' uma sub-classe de Doacao Unilateral |
| 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 |
|
UnilateralGiving
