No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 627-627 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 630-630 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 378-378 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 193-193 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2112-2112 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 330-330 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 387-387 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 822-822 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 231-231 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 400-400 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 420-420 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 371-371 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1483-1483 |
评估价值 是 货币价值 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3476-3476 |
最终价格 是 货币价值 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 628-628 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38354-38354 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38353-38353 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 372-372 |
|