| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | Comodo e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15492-15492 | Bathroom e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15503-15503 | Closet e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15515-15515 | DressingRoom e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15553-15553 | Kitchen e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15579-15579 | DiningRoom e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15583-15583 | Bedroom e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15593-15593 | Classroom e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15612-15612 | Hallway e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16171-16171 | CourtRoom e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25395-25395 | SelfServiceLaundry e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26738-26738 | Solarium e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26767-26767 | GameRoom e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26780-26780 | Nursery e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26791-26791 | SteamBath e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 119-119 | HotelRoom e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1650-1650 | BusinessCenter e' uma sub-classe de Comodo |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1686-1686 | HotelFunctionRoom e' uma sub-classe de Comodo |
|
|