No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11788-11788 |
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 18641-18641 |
Awarding e' uma sub-classe de Doacao Unilateral |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18675-18675 |
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 |
|