| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18895-18900 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21121-21121 | Science est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21125-21125 | SocialScience est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21136-21136 | ActuaryScience est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21193-21193 | Astronomy est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21198-21198 | ComputerScience est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21205-21205 | Geography est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21210-21210 | Cartography est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21213-21213 | Geology est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21217-21217 | LibraryScience est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21231-21231 | Biology est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21236-21236 | Physiology est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21241-21241 | MedicalScience est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21245-21245 | VeterinaryScience est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21251-21251 | Botany est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21256-21256 | Zoology est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21261-21261 | NaturalSciences est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21263-21263 | Biochemistry est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21264-21264 | Chemistry est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21268-21268 | Paleontology est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21271-21271 | Physics est une sous-classe de Science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21274-21274 | Engineering est une sous-classe de Science |
|
|