No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24597-24597 | Residence is a subclass of postal place |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15776-15776 | Residence is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15790-15790 | Permanent residence is a subclass of residence |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15799-15799 | Temporary residence is a subclass of residence |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15804-15804 | Residential building is a subclass of residence |