No TPTP formula. May not be expressible in strict first order. | Merge.kif 15692-15692 | Product is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 20-20 | Computational system is a subclass of product |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 59-59 | Computer hardware is a subclass of product |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5009-5009 | AnimalProduct is a subclass of product |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5186-5186 | Plant product is a subclass of product |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5207-5207 | Forest product is a subclass of product |