No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14947-14947 |
Dictionary est une sous-classe de ReferenceBook |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1841-1841 |
JOPESManual est une sous-classe de ReferenceBook |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1648-1648 |
TPFDDFile est une sous-classe de ReferenceBook |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49102-49102 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49101-49101 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49100-49100 |
|