wears - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3616-3617
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16087-16088
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16085-16085	域穿, 1 and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16086-16086	域穿, 2 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16084-16084	例穿 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 796-796
No TPTP formula. May not be expressible in strict first order.	english_format.kif 802-802
No TPTP formula. May not be expressible in strict first order.	french_format.kif 479-479
No TPTP formula. May not be expressible in strict first order.	english_format.kif 803-803
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 431-431
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 501-501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62624-62624
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 797-797
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62623-62623
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62622-62622

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5999-6007	例 Entity and 戶外服裝持有期間 TimePosition and 穿 entity and Entity Entity 例 Entity and Building 持有期間 TimePosition and 位於 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6252-6256	例可穿戴物品 and 連衣裙穿 Animal and 可穿戴物品例 Animal and 女人
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 510-516	例可穿戴物品 and Earphone 穿 Animal and 可穿戴物品例 Object and 頭部分 Object and Animal 位於可穿戴物品 and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3508-3537	例可穿戴物品 and 聽力保護例 Animal and Human 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 151-163	例 Animal and ihram服裝穿 Animal and 可穿戴物品 attribute 可穿戴物品 and 男 Physical Physical and Physical 例 Physical and 披風例 Physical and 帶例 Physical and 檀香會員 Physical and Animal 會員 Physical and Animal 會員 Physical and Animal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3450-3478	例可穿戴物品 and 安全套例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 儀器 entity and 可穿戴物品患者 entity and Animal 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity and entity 例 entity and Human 體驗者 entity and entity 例 entity and 落下體驗者 entity and entity 原因 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6218-6222	例可穿戴物品 and 襯衫穿 Animal and 可穿戴物品例 Animal and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6262-6270	例 Collection and 服裝套裝會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical Physical 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Dining.kif 469-479	例 Collection and Outfit 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical Physical 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3592-3613	例可穿戴物品 and 呼吸器例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity, entity and entity 例 entity and Process 儀器 entity and 可穿戴物品防止 entity and entity 子類 entity and 卡帕 entity and 例 entity and Injuring entity 例 entity and Human 患者 entity and entity 例 entity and 吸入 agent entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16094-16098	穿 Animal and 可穿戴物品部分可穿戴物品 and 可穿戴物品穿 Animal and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6125-6133	穿 Animal and SelfConnectedObject 例 SelfConnectedObject and 長褲 Object 例 Object and 腿部分 Object and Animal 包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6028-6036	穿 Animal and 可穿戴物品例可穿戴物品 and 帶可穿戴物品例可穿戴物品 and Clothing 穿 Animal and 可穿戴物品空間的符合可穿戴物品 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6076-6084	穿 Animal and 可穿戴物品例可穿戴物品 and 領 Object 例 Object and 頸部部分 Object and Animal 空間的符合可穿戴物品 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3359-3366	穿 Animal and 可穿戴物品位於可穿戴物品 and Object 例可穿戴物品 and 時鐘例 Object and 腕部分 Object and Animal 例可穿戴物品 and 鐘錶
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6091-6099	穿 Animal and 可穿戴物品例可穿戴物品 and 手套 Object 例 Object and 手部分 Object and Animal 空間的符合可穿戴物品 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6229-6237	穿 Animal and SelfConnectedObject 例 SelfConnectedObject and 袖 Object 例 Object and 臂部分 Object and Animal 包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6203-6211	穿 Animal and SelfConnectedObject 例 SelfConnectedObject and 襪子 Object 例 Object and 足部分 Object and Animal 包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6042-6050	穿 Animal and SelfConnectedObject 例 SelfConnectedObject and 領帶服裝 Object 例 Object and 頸部部分 Object and Animal 包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6106-6114	穿 Animal and 可穿戴物品例可穿戴物品 and 帽子 Object 例 Object and 頭部分 Object and Animal 空間的符合可穿戴物品 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6140-6148	穿 Animal and 可穿戴物品例可穿戴物品 and 鞋 Object 例 Object and 足部分 Object and Animal 空間的符合可穿戴物品 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31822-31830	持有期間 TimePosition and entity 例 entity and Clothing 穿 entity and entity 持有期間 TimePosition and attribute entity and Naked
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16090-16092	穿 Animal and 可穿戴物品位於可穿戴物品 and Animal

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6459-6474	例 Process and 調味料 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Clothing 持有期間開始何時 Process and 穿 AutonomousAgent and Entity 持有期間結束何時 Process and 穿 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6494-6505	例 Process and 脫衣服 agent Process and AutonomousAgent 患者 Process and Entity 持有期間開始何時 Process and 穿 AutonomousAgent and Entity 持有期間結束何時 Process and 穿 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6262-6270	例 Collection and 服裝套裝會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical Physical 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Dining.kif 469-479	例 Collection and Outfit 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical Physical 會員 Physical and Collection 持有期間 TimePosition and 穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16094-16098	穿 Animal and 可穿戴物品部分可穿戴物品 and 可穿戴物品穿 Animal and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6028-6036	穿 Animal and 可穿戴物品例可穿戴物品 and 帶可穿戴物品例可穿戴物品 and Clothing 穿 Animal and 可穿戴物品空間的符合可穿戴物品 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Dining.kif 492-505	AutonomousAgent 要求顧客去穿 AmbienceAttribute 模態屬性 entity entity 例 entity and Outfit AutonomousAgent believes entity 是 AmbienceAttribute 持有期間 entity and entity entity AutonomousAgent 是 entity 的 customer entity 對於 AutonomousAgent 在時間 entity located 會員 entity and entity 穿 entity and entity and 義務
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 170-177	體驗者 Process and AutonomousAgent Entity 例 Entity and ihram服裝持有期間何時 Process and 穿 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28333-28341	Group 有 uniform UniformClothing 模態屬性 entity entity and entity 會員 entity and Group 例 entity and UniformClothing 持有期間 entity and 穿 entity and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31812-31820	持有期間 TimePosition and attribute entity and Naked 持有期間 TimePosition and entity 例 entity and Clothing 穿 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6013-6022	例 Physical and 圍裙有目的 Physical and entity entity 例 entity and Cooking agent entity and entity 持有期間何時 entity and 穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 376-387	例 Physical and gutrah 有目的 Physical and entity entity, entity and entity 持有期間 entity and 穿 entity and Physical 持有期間 entity and 位於 entity and entity entity 是在地區 entity 的 hot 季節期間 entity and entity
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 399-410	例 Physical and shimagh 有目的 Physical and entity entity, entity and entity 持有期間 entity and 穿 entity and Physical 持有期間 entity and 位於 entity and entity entity 是 entity 地區的 cold 季節期間 entity and entity
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 533-539	例 Physical and 阿巴亞有目的 Physical and entity 例 entity and 女人穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 450-456	例 Physical and dishdashah 有目的 Physical and entity 例 entity and 人穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 502-508	例 Physical and 蓋頭有目的 Physical and entity 例 entity and 女人穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 438-444	例 Physical and jallabiyyah 有目的 Physical and entity 例 entity and 人穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 515-521	例 Physical and jilbab 有目的 Physical and entity 例 entity and 女人穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 489-495	例 Physical and khimar 有目的 Physical and entity 例 entity and 女人穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 470-476	例 Physical and 面紗有目的 Physical and entity 例 entity and 女人穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4810-4820	例 Physical and MotorcycleGlove 有目的 Physical and entity entity and entity 例 entity and Driving agent entity and entity 儀器 entity and entity 例 entity and 摩托車持有期間何時 entity and 穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4430-4441	例 Physical and MotorcycleHelmet 有目的 Physical and entity entity and entity 例 entity and Driving agent entity and entity 例 entity and 摩托車患者 entity and entity 例 entity and Human 持有期間何時 entity and 穿 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3543-3570	例 Physical and 防護眼鏡有目的 Physical and PhysicalRSON 例 PhysicalRSON and Human 穿 PhysicalRSON and Physical entity entity, entity, entity and entity 例 entity and Process 儀器 entity and Physical 子類 entity and 卡帕 entity and entity 例 entity and Injuring 例 entity and 眼睛例 entity and Human 適當的部分 entity and entity 患者 entity and entity 持有期間 entity and 患者 entity and PhysicalRSON 持有期間 entity and 患者 entity and PhysicalRSON 防止 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3572-3585	例 Physical and 防護眼鏡有目的 Physical and PhysicalRSON entity, entity and entity 例 PhysicalRSON and Animal 例 entity and 面對例 entity and 眼睛適當的部分 entity and entity 適當的部分 entity and PhysicalRSON 穿 PhysicalRSON and Physical 例 entity and Covering agent entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6280-6291	例 Physical and 睡衣有目的 Physical and entity entity 例 entity and Human agent entity and entity 持有期間 entity and 穿 entity and Physical 例 entity and Sleeping 例 entity and StayingStill

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: