No TPTP formula. May not be expressible in strict first order. | Merge.kif 15791-15791 | House est une sous-classe de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15792-15792 | House est une sous-classe de SingleFamilyResidence |
![]() |