| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15866-15866 | SingleFamilyResidence est une sous-classe de PermanentResidence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6894-6894 | ApartmentUnit est une sous-classe de SingleFamilyResidence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6944-6944 | CondominiumUnit est une sous-classe de SingleFamilyResidence |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15816-15816 | House est une sous-classe de SingleFamilyResidence |
|
|