No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3354-3354 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3353-3353 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3352-3352 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7385-7385 |
子關係 恐懼 and 預計 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7397-7397 |
子關係 希望 and 預計 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22792-22792 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22791-22791 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22790-22790 |
|