Trousers(trousers) | bathing_trunks, bell-bottoms, bellbottom_pants, bellbottom_trousers, blue_jean, breeches, chino, churidars, cords, corduroys, denim, flannel, gabardine, jean, jodhpur_breeches, jodhpurs, knee_breeches, knee_pants, knickerbockers, knickers, long_pants, long_trousers, overall, pajama, pant, pantaloon, pedal_pusher, plus_fours, pyjama, riding_breeches, salwar, shalwar, short_pants, shorts, slacks, stretch_pants, sweat_pants, sweatpants, swimming_trunks, toreador_pants, trews, trouser, trunks, tweed, white |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5165-5166 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 799-799 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 197-197 | |
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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5164-5164 | Trousers is a subclass of clothing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59282-59282 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59281-59281 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59280-59280 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5169-5177 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5337-5344 |
|