No TPTP formula. May not be expressible in strict first order. | Merge.kif 15879-15879 | Fabric is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5346-5346 | Rug is a subclass of fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5360-5360 | Towel is a subclass of fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5374-5374 | Leather is a subclass of fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5387-5387 | Silk is a subclass of fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5402-5402 | Wool is a subclass of fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5416-5416 | Pocket is a subclass of fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5431-5431 | Blanket is a subclass of fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5450-5450 | Cotton fabric is a subclass of fabric |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15167-15167 | Curtain is a subclass of fabric |