No TPTP formula. May not be expressible in strict first order. | Merge.kif 17723-17723 | Structure attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17729-17729 | Shape attribute is a subclass of structure attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7128-7128 | Crystalline structure is a subclass of structure attribute |