| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8292-8301 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16791-16791 | Campo de Estudos e' uma sub-classe de Proposicao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21109-21109 | Literature e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21113-21113 | Mathematics e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21117-21117 | InteriorDesign e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21121-21121 | Science e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21141-21141 | Archeology e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21178-21178 | Architecture e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21282-21282 | Statistics e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21286-21286 | ElectricalEngineering e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21293-21293 | Electronics e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21298-21298 | PowerElectronics e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21302-21302 | Mechanics e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21308-21308 | MechanicalEngineering e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21313-21313 | Theology e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21323-21323 | MilitaryScience e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21326-21326 | History e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21330-21330 | Philosophy e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21334-21334 | FieldOfLaw e' uma sub-classe de Campo de Estudos |
|
|