| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1327-1327 | Objet exprimant un sens est une sous-classe de objet corpusculaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1328-1328 | Objet exprimant un sens est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1087-1087 | ShipRegistration est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1106-1106 | ShipRegister est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 554-554 | ProcessState est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 672-672 | Feedback est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1674-1674 | UniformResourceIdentifier est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2035-2035 | UserAccount est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2261-2261 | Compass est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14407-14407 | SheetMusic est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14867-14867 | HolidayCard est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17119-17119 | Sign est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17125-17125 | PlayingCard est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24526-24526 | Descriptor est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24543-24543 | DescriptorPart est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26211-26211 | VisualContentBearingObject est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26386-26386 | Document est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1386-1386 | Recording est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15360-15360 | Texte est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 682-682 | ConstitutionDocument est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 381-381 | MultipoleDiagram est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1363-1363 | WebDocument est une sous-classe de objet exprimant un sens |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | Account est une sous-classe de objet exprimant un sens |
|
|