No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14231-14231 |
不相交分解 Sentence, 聲明, 假想, 題, 請求 and 訂購 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14243-14243 |
子類 事實 and 聲明 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55122-55122 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55121-55121 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55120-55120 |
|