Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(documentation WearableItem ChineseLanguage "WearableItemArtifact 的一个子类别,它是 为了穿在身上才做的。") chinese_format.kif 3612-3613
(documentation WearableItem EnglishLanguage "WearableItem is the subclass of Artifacts that are made to be worn on the body.") Merge.kif 15607-15608
(externalImage WearableItem "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Datalink_USB_Dress_Edition.JPG") pictureList.kif 8794-8794
(subclass WearableItem Artifact) Merge.kif 15606-15606 Wearable item is a subclass of artifact

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


(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 29114-29114 The values returned by CoveringFn are subclasses of wearable item
(subclass Clothing WearableItem) Merge.kif 15618-15618 Clothing is a subclass of wearable item
(subclass Earphone WearableItem) ComputerInput.kif 503-503 Earphone is a subclass of wearable item
(subclass HearingProtection WearableItem) Cars.kif 3446-3446 Hearing protection is a subclass of wearable item
(subclass Jewelry WearableItem) Economy.kif 5157-5157 Jewelry is a subclass of wearable item
(subclass PersonalAdornment WearableItem) Economy.kif 5131-5131 Personal adornment is a subclass of wearable item
(subclass ProtectiveEyewear WearableItem) Cars.kif 3482-3482 Protective eyewear is a subclass of wearable item
(subclass Respirator WearableItem) Cars.kif 3529-3529 Respirator is a subclass of wearable item
(subclass SafetyHarness WearableItem) Cars.kif 3421-3421 Safety harness is a subclass of wearable item
(termFormat ChineseLanguage WearableItem "可穿戴物品") domainEnglishFormat.kif 62562-62562
(termFormat ChineseTraditionalLanguage WearableItem "可穿戴物品") domainEnglishFormat.kif 62561-62561
(termFormat EnglishLanguage WearableItem "wearable item") domainEnglishFormat.kif 62560-62560

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


(domain wears 2 WearableItem) Merge.kif 15643-15643 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 15610-15616


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners