No TPTP formula. May not be expressible in strict first order. | Merge.kif 15866-15866 | 单身家庭住所 是 永久居留权 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6894-6894 | 公寓单位 是 单身家庭住所 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6944-6944 | 共管公寓单位 是 单身家庭住所 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15816-15816 | 屋 是 单身家庭住所 的 subclass |