| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1398-1398 |
Cable 是 工程组件连接件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1387-1387 |
InternetConnection 是 工程组件连接件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1062-1062 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1335-1335 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 740-740 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 271-271 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 274-274 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2424-2424 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 692-692 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 310-310 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 761-761 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 275-275 |
|
