| No TPTP formula. May not be expressible in strict first order. | Media.kif 3203-3205 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1261-1261 | Collection est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 712-712 | MonoploidChromosomeSet est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 858-858 | HomologousChromosomeSet est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1056-1056 | GolgiApparatus est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 133-133 | WebListingCategory est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1126-1126 | VisitorProfile est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2119-2119 | WebStore est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4486-4486 | MultivariateTest est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 957-957 | MerchantMarine est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2049-2049 | Train est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 60-60 | Discography est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 669-669 | Script est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3512-3512 | Fleet est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5301-5301 | ClothingSuit est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7618-7618 | CommunicationSystem est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11479-11479 | Skull est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14448-14448 | MediaSystem est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15009-15009 | Industry est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22322-22322 | Convoy est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25451-25451 | FireSprinklerSystem est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26949-26949 | SurveillanceSystem est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16245-16245 | Groupe est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 138-138 | RoomInventory est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1718-1718 | HotelMiniBar est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3362-3362 | SolarSystem est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5342-5342 | InlandWaterSystem est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5510-5510 | RiverSystem est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5842-5842 | Archipelago est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1675-1675 | Meal est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2507-2507 | BoxOfChocolates est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 255-255 | Buffet est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 464-464 | Outfit est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3317-3317 | ComputerSystem est une sous-classe de collection |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3781-3781 | RemoteKeylessSystem est une sous-classe de collection |
|
|