No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | Abstract is a subclass of entity |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1942-1942 | Process task is a subclass of abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1694-1694 | Quantity is a subclass of abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | Attribute is a subclass of abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2128-2128 | Set or class is a subclass of abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | Relation is a subclass of abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2875-2875 | List is a subclass of abstract |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3555-3555 | Proposition is a subclass of abstract |