Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Bag

 Sigma KEE - Bag
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
-------------------------


(termFormat EnglishLanguage Bag "bag") domainEnglishFormat.kif 9538-9538
(termFormat ChineseTraditionalLanguage Bag "袋") domainEnglishFormat.kif 9539-9539
(termFormat ChineseLanguage Bag "袋") domainEnglishFormat.kif 9540-9540

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners