No TPTP formula. May not be expressible in strict first order. | Merge.kif 15791-15791 | House is a subclass of residential building |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15792-15792 | House is a subclass of single family residence |