No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4743-4743 |
Glove is equal to a covering for hand |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5148-5148 |
Hat is a subclass of a covering for head |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4360-4360 |
Helmet is a subclass of a covering for head |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5101-5101 |
Mask is a subclass of a covering for face |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5260-5260 |
Shirt is a subclass of a covering for torso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5182-5182 |
Shoe is a subclass of a covering for foot |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5271-5271 |
Sleeve is a subclass of a covering for arm |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5245-5245 |
Sock is a subclass of a covering for foot |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5167-5167 |
Trousers is a subclass of a covering for leg |