Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Bag(bag)
|  | back_pack, backpack, bag, burn_bag, carrier_bag, clutch, clutch_bag, etui, evening_bag, handbag, haversack, knapsack, packsack, paper_bag, plastic_bag, pocketbook, poke, purse, reticule, rucksack, sack, saddlebag, schoolbag, shoulder_bag, sick_bag, sickbag, sponge_bag, toilet_bag, tucker-bag |
| appearance as argument number 1 |
|
|
| (subclass Bag Container) | Mid-level-ontology.kif 5065-5065 | Bag is a subclass of container |
| (documentation Bag EnglishLanguage "A Pliable Container with the purpose of Transfer of Object.") | Mid-level-ontology.kif 5066-5066 | Bag is a subclass of container |
| (externalImage Bag "http://upload.wikimedia.org/wikipedia/commons/3/35/Timbuk2_custom_made_messenger_bag_%E2%80%9EDeeDog%E2%80%9C.JPG") | pictureList.kif 4521-4521 | Bag is a subclass of container |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BAG Bag) (attribute ?BAG Pliable)) |
Mid-level-ontology.kif 5068-5070 | If X is an instance of bag, then pliable is an attribute of X |
| (=> (instance ?BAG Bag) (hasPurpose ?BAG (exists (?T ?OBJ) (and (instance ?T Transfer) (instance ?OBJ Object) (contains ?BAG ?OBJ) (instrument ?T ?BAG) (patient ?T ?OBJ))))) |
Mid-level-ontology.kif 5072-5081 | If X is an instance of bag, then X has the purpose there exist Y, Z such that Y is an instance of transfer, Z is an instance of object, X contains Z, X is an instrument for Y, and Z is a patient of Y |
|