| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18923-18928 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21149-21149 | Science e' uma sub-classe de Campo de Estudos |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21153-21153 | SocialScience e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21164-21164 | ActuaryScience e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21221-21221 | Astronomy e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21226-21226 | ComputerScience e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21233-21233 | Geography e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21238-21238 | Cartography e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21241-21241 | Geology e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21245-21245 | LibraryScience e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21259-21259 | Biology e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21264-21264 | Physiology e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21269-21269 | MedicalScience e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21273-21273 | VeterinaryScience e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21279-21279 | Botany e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21284-21284 | Zoology e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21289-21289 | NaturalSciences e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21291-21291 | Biochemistry e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21292-21292 | Chemistry e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21296-21296 | Paleontology e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21299-21299 | Physics e' uma sub-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21302-21302 | Engineering e' uma sub-classe de Science |
|
|