| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24596-24596 | Residence e' uma sub-classe de PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15798-15798 | Residence e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15812-15812 | PermanentResidence e' uma sub-classe de Residence |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15821-15821 | TemporaryResidence e' uma sub-classe de Residence |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15826-15826 | ResidentialBuilding e' uma sub-classe de Residence |
|
|