TreeView 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 15889-15890
(externalImage WearableItem "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Datalink_USB_Dress_Edition.JPG")	pictureList.kif 8793-8793
(subclass WearableItem Artifact)	Merge.kif 15888-15888	Wearable item is a subclass of artifact

appearance as argument number 2

(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 29726-29726	The values returned by Covering fn are subclasses of wearable item
(subclass Clothing WearableItem)	Merge.kif 15900-15900	Clothing is a subclass of wearable item
(subclass Earphone WearableItem)	ComputerInput.kif 503-503	Earphone is a subclass of wearable item
(subclass FitbitDevice WearableItem)	Medicine.kif 4457-4457	Fitbit is a subclass of wearable item
(subclass HearingProtection WearableItem)	Cars.kif 3445-3445	Hearing protection is a subclass of wearable item
(subclass Jewelry WearableItem)	Economy.kif 6116-6116	Jewelry is a subclass of wearable item
(subclass PersonalAdornment WearableItem)	Economy.kif 6090-6090	Personal adornment is a subclass of wearable item
(subclass ProtectiveEyewear WearableItem)	Cars.kif 3479-3479	Protective eyewear is a subclass of wearable item
(subclass Respirator WearableItem)	Cars.kif 3527-3527	Respirator is a subclass of wearable item
(subclass SafetyHarness WearableItem)	Cars.kif 3420-3420	Safety harness is a subclass of wearable item
(termFormat ChineseLanguage WearableItem "可穿戴物品")	domainEnglishFormat.kif 62595-62595
(termFormat ChineseTraditionalLanguage WearableItem "可穿戴物品")	domainEnglishFormat.kif 62594-62594
(termFormat EnglishLanguage WearableItem "wearable item")	domainEnglishFormat.kif 62593-62593

appearance as argument number 3

(domain wears 2 WearableItem)

Merge.kif 15925-15925

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 15892-15898

If a physical is an instance of wearable item,
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 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: