No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1117-1117 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1116-1116 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1115-1115 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 722-722 |
子關係 句子 and 語法關係 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 730-730 |
子關係 句子主題 and 語法關係 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26382-26382 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26381-26381 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26380-26380 |
|