| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | Pi�ce est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15492-15492 | Bathroom est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15503-15503 | Closet est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15515-15515 | DressingRoom est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15553-15553 | Kitchen est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15579-15579 | DiningRoom est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15583-15583 | Bedroom est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15593-15593 | Classroom est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15612-15612 | Hallway est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16171-16171 | CourtRoom est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25395-25395 | SelfServiceLaundry est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26738-26738 | Solarium est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26767-26767 | GameRoom est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26780-26780 | Nursery est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26791-26791 | SteamBath est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 119-119 | HotelRoom est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1650-1650 | BusinessCenter est une sous-classe de pi�ce |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1686-1686 | HotelFunctionRoom est une sous-classe de pi�ce |
|
|