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


KB Term:  Term intersection
English Word: 

  SoutheasternAsia

 Sigma KEE - Holder
Holder(holder)
alms_dish, alms_tray, bicycle_clip, bicycle_rack, carrier, holder, icetray, inkstand, pallet, rack, stand, trouser_clip, zarf

appearance as argument number 1
-------------------------


(subclass Holder Device) Mid-level-ontology.kif 4923-4923 Holder is a subclass of device
(documentation Holder EnglishLanguage "A large class of Devices whose purpose is to hold something else, i.e. be the instrument of a Keeping.") Mid-level-ontology.kif 4924-4925 Holder is a subclass of device
(externalImage Holder "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ No_carb_pork.jpg/ 250px_No_carb_pork.jpg") pictureList.kif 1137-1137 Holder is a subclass of device

appearance as argument number 2
-------------------------


(subclass Saddle Holder) Mid-level-ontology.kif 4931-4931 Saddle is a subclass of holder
(subclass Tray Holder) Mid-level-ontology.kif 5038-5038 Tray is a subclass of holder
(subclass Dish Holder) Mid-level-ontology.kif 5042-5042 Dish is a subclass of holder
(subclass Container Holder) Mid-level-ontology.kif 5055-5055 Container is a subclass of holder
(subclass TrapOrCage Holder) Mid-level-ontology.kif 5253-5253 Trap or cage is a subclass of holder
(termFormat EnglishLanguage Holder "holder") domainEnglishFormat.kif 28349-28349 Trap or cage is a subclass of holder
(termFormat ChineseTraditionalLanguage Holder "持有人") domainEnglishFormat.kif 28350-28350 Trap or cage is a subclass of holder
(termFormat ChineseLanguage Holder "持有人") domainEnglishFormat.kif 28351-28351 Trap or cage is a subclass of holder

antecedent
-------------------------


(=>
    (instance ?DEVICE Holder)
    (capability Keeping instrument ?DEVICE))		 Mid-level-ontology.kif 4927-4929 If X is an instance of holder, then X is capable of doing keeping as a instrument


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