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 15911-15912
(externalImage WearableItem "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Datalink_USB_Dress_Edition.JPG")	pictureList.kif 8793-8793
(subclass WearableItem Artifact)	Merge.kif 15910-15910	WearableItem はアーチファクトの subclass では %n

appearance as argument number 2

(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 29714-29714	CoveringFn が返す値は WearableItem の subclasses では %n
(subclass Clothing WearableItem)	Merge.kif 15922-15922	衣類は WearableItem の subclass では %n
(subclass Earphone WearableItem)	ComputerInput.kif 503-503	Earphone は WearableItem の subclass では %n
(subclass FitbitDevice WearableItem)	Medicine.kif 4457-4457	FitbitDevice は WearableItem の subclass では %n
(subclass HearingProtection WearableItem)	Cars.kif 3453-3453	HearingProtection は WearableItem の subclass では %n
(subclass Jewelry WearableItem)	Economy.kif 6116-6116	Jewelry は WearableItem の subclass では %n
(subclass PersonalAdornment WearableItem)	Economy.kif 6090-6090	PersonalAdornment は WearableItem の subclass では %n
(subclass ProtectiveEyewear WearableItem)	Cars.kif 3487-3487	ProtectiveEyewear は WearableItem の subclass では %n
(subclass Respirator WearableItem)	Cars.kif 3535-3535	Respirator は WearableItem の subclass では %n
(subclass SafetyHarness WearableItem)	Cars.kif 3428-3428	SafetyHarness は WearableItem の subclass では %n
(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 15947-15947

wears の数値 2 引数は WearableItem の instance では %n

antecedent

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

Merge.kif 15914-15920

物理は WearableItem の instance では %n
物理はエンティティーエンティティーは人［人間］の instance では %n エンティティーは % を wears %n{ない} の目的 %n{ない}

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: