No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5047-5047 |
Apron e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5062-5062 |
Belt e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5090-5090 |
Cloak e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5101-5101 |
Collar e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5286-5286 |
Dress e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5124-5124 |
Glove e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5139-5139 |
Hat e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5094-5094 |
Mask e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 415-415 |
Oqal e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5033-5033 |
OutdoorClothing e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5314-5314 |
Pajamas e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3539-3539 |
SafetyVest e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5251-5251 |
Shirt e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5173-5173 |
Shoe e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5262-5262 |
Sleeve e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5236-5236 |
Sock e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5076-5076 |
TieClothing e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5158-5158 |
Trousers e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26718-26718 |
UniformClothing e' uma sub-classe de Roupa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5465-5465 |
Veil e' uma sub-classe de Roupa |
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 |