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 16061-16062
(externalImage WearableItem "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Datalink_USB_Dress_Edition.JPG")	pictureList.kif 8792-8792
(subclass WearableItem Artifact)	Merge.kif 16060-16060	WearableItem is a subclass of artifact

appearance as argument number 2

(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 31631-31631	The values returned by CoveringFn are subclasses of WearableItem
(subclass Clothing WearableItem)	Merge.kif 16098-16098	Clothing is a subclass of WearableItem
(subclass Earphone WearableItem)	ComputerInput.kif 503-503	Earphone is a subclass of WearableItem
(subclass FitbitDevice WearableItem)	Medicine.kif 4464-4464	FitbitDevice is a subclass of WearableItem
(subclass HearingProtection WearableItem)	Cars.kif 3506-3506	HearingProtection is a subclass of WearableItem
(subclass Jewelry WearableItem)	Economy.kif 6509-6509	Jewelry is a subclass of WearableItem
(subclass PersonalAdornment WearableItem)	Economy.kif 6483-6483	PersonalAdornment is a subclass of WearableItem
(subclass ProtectiveEyewear WearableItem)	Cars.kif 3540-3540	ProtectiveEyewear is a subclass of WearableItem
(subclass Respirator WearableItem)	Cars.kif 3588-3588	Respirator is a subclass of WearableItem
(subclass SafetyHarness WearableItem)	Cars.kif 3481-3481	SafetyHarness is a subclass of WearableItem
(termFormat ChineseLanguage WearableItem "可穿戴物品")	domainEnglishFormat.kif 62588-62588	SafetyHarness is a subclass of WearableItem
(termFormat ChineseTraditionalLanguage WearableItem "可穿戴物品")	domainEnglishFormat.kif 62587-62587	SafetyHarness is a subclass of WearableItem
(termFormat EnglishLanguage WearableItem "wearable item")	domainEnglishFormat.kif 62586-62586	SafetyHarness is a subclass of WearableItem

appearance as argument number 3

(domain wears 2 WearableItem)

Merge.kif 16123-16123

The number 2 argument of wears is an instance of WearableItem

antecedent

(=>
    (instance ?WI WearableItem)
    (hasPurpose ?WI
        (exists (?H)
            (and
                (instance ?H Human)
                (wears ?H ?WI)))))

Merge.kif 16064-16070

If a physical is an instance of WearableItem,
then the physical has the purpose there exists an entity such that the entity is an instance of human and the entity wears the physical

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

KB Term:			Term intersection

English Word: