| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2091-2091 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2090-2090 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2089-2089 |
|
| No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 896-896 |
例 組件數據ID and QuintaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23321-23321 |
例 在類型的事件中發揮作用 and QuintaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30906-30906 |
例 shortage and QuintaryPredicate |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 929-929 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1065-1065 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 605-605 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 136-136 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 139-139 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2290-2290 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 557-557 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 173-173 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 626-626 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 140-140 |
|
QuintaryPredicate