No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16162-16171 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15995-16009 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12999-12999 | Publication is a subclass of manufacture |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13000-13000 | Publication is a subclass of content development |
![]() |