Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ClothingSuit(clothing suit) |  | business_suit, double-breasted_suit, lounge_suit, pants_suit, pantsuit, pinstripe, single-breasted_suit, suit, suit_of_clothes, three-piece_suit, two-piece, two-piece_suit, zoot_suit |
| appearance as argument number 1 |
|
|
| (subclass ClothingSuit CollectionOfObjects) | Mid-level-ontology.kif 6397-6397 | Clothing suit is a subclass of collection |
| (documentation ClothingSuit EnglishLanguage "A CollectionOfObjects of instances of Clothing that are designed to be worn together.") | Mid-level-ontology.kif 6398-6399 | Clothing suit is a subclass of collection |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SUIT ClothingSuit) (member ?ITEM1 ?SUIT) (member ?ITEM2 ?SUIT) (holdsDuring ?TIME (wears ?PERSON ?ITEM1))) (hasPurpose ?ITEM2 (holdsDuring ?TIME (wears ?PERSON ?ITEM2)))) |
Mid-level-ontology.kif 6401-6410 | If X is an instance of clothing suit, Y is a member of X, Z is a member of X, and W wears Y holds during V, then Z has the purpose W wears Z holds during V |
|