| No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | Objet en une partie est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2574-2574 | ShipContainer est une sous-classe de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2361-2361 | Ramp est une sous-classe de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 867-867 | OrganicThing est une sous-classe de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1041-1041 | Substance est une sous-classe de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1226-1226 | Objet corpusculaire est une sous-classe de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | Transitway est une sous-classe de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | Nourriture est une sous-classe de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | BodyOfWater est une sous-classe de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4723-4723 | Iceberg est une sous-classe de objet en une partie |
|
|