Clothing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15901-15901	不相交的 Clothing and StationaryArtifact
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3614-3615
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15902-15903
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 351-351
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15900-15900	子類 Clothing and 可穿戴物品

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5053-5053	子類圍裙 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5068-5068	子類帶 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5096-5096	子類披風 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5107-5107	子類領 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5292-5292	子類連衣裙 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5130-5130	子類手套 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5145-5145	子類帽子 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5100-5100	子類 Mask and Clothing
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 415-415	子類 oqal and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5039-5039	子類戶外服裝 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5320-5320	子類睡衣 and Clothing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3554-3554	子類 SafetyVest and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5257-5257	子類襯衫 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5179-5179	子類鞋 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5268-5268	子類袖 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5242-5242	子類襪子 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5082-5082	子類領帶服裝 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5164-5164	子類長褲 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26685-26685	子類 UniformClothing and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5471-5471	子類面紗 and Clothing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1055-1055
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1321-1321
No TPTP formula. May not be expressible in strict first order.	french_format.kif 733-733
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 264-264

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15914-15921	例 Physical and Clothing 有目的 Physical and entity entity 例 entity and Animal 部分 entity and entity covers Physical and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15905-15912	例 Entity and Clothing 模態屬性 entity 例 entity and Fabric 部分 entity and Entity and 容易

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30178-30188	例 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity 例 entity and Clothing covers entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30145-30153	持有期間 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 5503-5518	例 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.	naics.kif 2194-2210	例 Collection and Organization attribute Collection and 服裝製造業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Clothing 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 7509-7521	例 Collection and Organization attribute Collection and 服裝和服飾配件商店 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity 例 AutonomousAgent and Selling 例 Entity and Clothing 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 2457-2475	例 Collection and Organization attribute Collection and 皮革及相關產品製造 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and Clothing 例 Entity and Fabric 患者 AutonomousAgent and Entity 會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5072-5080	穿 Animal and 可穿戴物品例可穿戴物品 and 帶可穿戴物品例可穿戴物品 and Clothing 穿 Animal and 可穿戴物品空間的符合可穿戴物品 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30160-30173	持有期間 TimePosition and attribute entity and Clothed 持有期間 TimePosition and entity 例 entity and ReproductiveBody 部分 entity and entity entity 例 entity and Clothing covers entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4264-4270	例 Physical and 按鍵有目的 Physical and entity 例 entity and Clothing 部分 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5420-5425	例 Object and 口袋 Object 例 Object and Clothing 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5623-5625	例 Object and 針線活能力 Clothing, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1809-1819	例 Process and DryCleaningService Entity Object and Object 例 Entity and Clothing 儀器 Process and Object 例 Object and Water 例 Object and 化學產品儀器 Process and Object 患者 Process and Entity 結果 Process and attribute Entity and Clean
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1785-1802	例 Process and LaundryService Entity Process, Process and Process 例 Entity and Clothing 患者 Process and Entity 子過程 Process and Process 例 Process and 洗滌患者 Process and Entity 結果 Process and attribute Entity and Clean 子過程 Process and Process 例 Process and Drying 患者 Process and Entity 例 Process and Ironing 子過程 Process and Process 患者 Process and Entity 之前開始何時 Process and 開始何時 Process 之前開始何時 Process and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1827-1848	例 Process and ValetLaundryService Human AutonomousAgent, 暫住, Entity, Process, Process and Process AutonomousAgent 是 Human 的 customer Human stays 在暫住 agent Process and AutonomousAgent 例 Entity and Clothing 例 Process and Getting 位於 Process and 暫住患者 Process and Entity agent Process and AutonomousAgent 例 Process and LaundryService 例 Process and DryCleaningService agent Process and AutonomousAgent 患者 Process and Entity 例 Process and DeliveryService 患者 Process and Entity 目的地 Process and 暫住之前開始何時 Process and 開始何時 Process 之前開始何時 Process and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1856-1863	例 Process and IroningService Process Entity 例 Entity and Clothing 例 Process and Ironing 患者 Process and Entity 子過程 Process and Process

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: