WearableItem - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WearableItem ChineseLanguage "WearableItem 是 Artifact 的一个子类别，它是为了穿在身上才做的。")	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 14708-14709
(externalImage WearableItem "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Datalink_USB_Dress_Edition.JPG")	pictureList.kif 8798-8798
(subclass WearableItem Artifact)	Merge.kif 14707-14707	Wearable item is a subclass of artifact

appearance as argument number 2

(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 27909-27909	The values returned by CoveringFn are subclasses of wearable item
(subclass Clothing WearableItem)	Merge.kif 14719-14719	Clothing is a subclass of wearable item
(subclass Earphone WearableItem)	ComputerInput.kif 529-529	Earphone is a subclass of wearable item
(subclass HearingProtection WearableItem)	Cars.kif 3421-3421	Hearing protection is a subclass of wearable item
(subclass Jewelry WearableItem)	Economy.kif 4996-4996	Jewelry is a subclass of wearable item
(subclass PersonalAdornment WearableItem)	Economy.kif 4970-4970	Personal adornment is a subclass of wearable item
(subclass ProtectiveEyewear WearableItem)	Cars.kif 3457-3457	Protective eyewear is a subclass of wearable item
(subclass Respirator WearableItem)	Cars.kif 3503-3503	Respirator is a subclass of wearable item
(subclass SafetyHarness WearableItem)	Cars.kif 3396-3396	Safety harness is a subclass of wearable item
(termFormat ChineseLanguage WearableItem "可穿戴物品")	domainEnglishFormat.kif 62482-62482
(termFormat ChineseTraditionalLanguage WearableItem "可穿戴物品")	domainEnglishFormat.kif 62481-62481
(termFormat EnglishLanguage WearableItem "wearable item")	domainEnglishFormat.kif 62480-62480

appearance as argument number 3

(domain wears 2 WearableItem)

Merge.kif 14733-14733

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 14711-14717

If a physical is an instance of wearable item,
then the physical purpose there exists an entity such that the entity is an instance of human and the entity は % を wears %n{ない}

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: