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 715-715 |
子關係 句子 and 語法關係 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 723-723 |
子關係 句子主題 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 |
|