| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8293-8302 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16769-16769 | Champ d'�tude est une sous-classe de proposition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21110-21110 | Literature est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21114-21114 | Mathematics est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21118-21118 | InteriorDesign est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21122-21122 | Science est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21142-21142 | Archeology est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21179-21179 | Architecture est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21283-21283 | Statistics est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21287-21287 | ElectricalEngineering est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21294-21294 | Electronics est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21299-21299 | PowerElectronics est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21303-21303 | Mechanics est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21309-21309 | MechanicalEngineering est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21314-21314 | Theology est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21324-21324 | MilitaryScience est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21327-21327 | History est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21331-21331 | Philosophy est une sous-classe de champ d'�tude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21335-21335 | FieldOfLaw est une sous-classe de champ d'�tude |
|
|