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


KB Term:  Term intersection
English Word: 

  WearableItem

 Sigma KEE - WearableItem
WearableItem(wearable item)
fashion, lapel, top_lift

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


(subclass WearableItem Artifact) Merge.kif 16205-16205 Wearable item is a subclass of artifact
(documentation WearableItem EnglishLanguage "WearableItem is the subclass of Artifacts that are made to be worn on the body.") Merge.kif 16206-16207 Wearable item is a subclass of artifact
(externalImage WearableItem "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Datalink_USB_Dress_Edition.JPG") pictureList.kif 8792-8792 Wearable item is a subclass of artifact

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


(subclass Clothing WearableItem) Merge.kif 16244-16244 Clothing is a subclass of wearable item
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 32333-32333 The values returned by Covering fn are subclasses of wearable item
(subclass SafetyHarness WearableItem) Cars.kif 3285-3285 Safety harness is a subclass of wearable item
(subclass HearingProtection WearableItem) Cars.kif 3310-3310 Hearing protection is a subclass of wearable item
(subclass ProtectiveEyewear WearableItem) Cars.kif 3344-3344 Protective eyewear is a subclass of wearable item
(subclass Respirator WearableItem) Cars.kif 3391-3391 Respirator is a subclass of wearable item
(subclass Earphone WearableItem) ComputerInput.kif 519-519 Earphone is a subclass of wearable item
(subclass PersonalAdornment WearableItem) Economy.kif 6512-6512 Personal adornment is a subclass of wearable item
(subclass Jewelry WearableItem) Economy.kif 6539-6539 Jewelry is a subclass of wearable item
(subclass FitbitDevice WearableItem) Medicine.kif 4478-4478 Fitbit is a subclass of wearable item
(termFormat EnglishLanguage WearableItem "wearable item") domainEnglishFormat.kif 62596-62596 Fitbit is a subclass of wearable item
(termFormat ChineseTraditionalLanguage WearableItem "可穿戴物品") domainEnglishFormat.kif 62597-62597 Fitbit is a subclass of wearable item
(termFormat ChineseLanguage WearableItem "可穿戴物品") domainEnglishFormat.kif 62598-62598 Fitbit is a subclass of wearable item

appearance as argument number 3
-------------------------


(domain wears 2 WearableItem) Merge.kif 16269-16269 The number 2 argument of wears is an instance of wearable item

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


(=>
    (instance ?WI WearableItem)
    (hasPurpose ?WI
        (exists (?H)
            (and
                (instance ?H Human)
                (wears ?H ?WI)))))		 Merge.kif 16209-16215 If X is an instance of wearable item, then X has the purpose there exists Y such that Y is an instance of human and Y wears X


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