No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14919-14919 |
子類 字典 and 參考書 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1841-1841 |
子類 JOPES手冊 and 參考書 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1648-1648 |
子類 TPFDD文件 and 參考書 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49100-49100 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49099-49099 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49098-49098 |
|