| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11834-11834 |
相關的內部概念 UnilateralGetting and UnilateralGiving |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18668-18668 |
子類 Awarding and UnilateralGiving |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18702-18702 |
子類 遺贈 and UnilateralGiving |
| 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 |
|
