No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5052-5052 |
Apron is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5067-5067 |
Belt is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5095-5095 |
Cloak is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5106-5106 |
Collar is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5291-5291 |
Dress is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5129-5129 |
Glove is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5144-5144 |
Hat is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5099-5099 |
Mask is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 415-415 |
Oqal is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5038-5038 |
Outdoor clothing is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5319-5319 |
Pajamas is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3562-3562 |
Safety vest is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5256-5256 |
Shirt is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5178-5178 |
Shoe is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5267-5267 |
Sleeve is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5241-5241 |
Sock is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5081-5081 |
Tie clothing is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5163-5163 |
Trousers is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26673-26673 |
Uniform is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5470-5470 |
Veil is a subclass of clothing |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1055-1055 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1321-1321 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 733-733 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 264-264 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |