TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15923-15923	不相交的 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 15924-15925
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 15922-15922	子類 Clothing and 可穿戴物品

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5052-5052	子類圍裙 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5067-5067	子類帶 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5095-5095	子類披風 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5106-5106	子類領 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5291-5291	子類連衣裙 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5129-5129	子類手套 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5144-5144	子類帽子 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5099-5099	子類 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 5038-5038	子類戶外服裝 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5319-5319	子類睡衣 and Clothing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3562-3562	子類 SafetyVest and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5256-5256	子類襯衫 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5178-5178	子類鞋 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5267-5267	子類袖 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5241-5241	子類襪子 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5081-5081	子類領帶服裝 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5163-5163	子類長褲 and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26673-26673	子類 UniformClothing and Clothing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5470-5470	子類面紗 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 15936-15943	例 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 15927-15934	例 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 30166-30176	例 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 30133-30141	持有期間 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 5502-5517	例 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 5071-5079	穿 Animal and 可穿戴物品例可穿戴物品 and 帶可穿戴物品例可穿戴物品 and Clothing 穿 Animal and 可穿戴物品空間的符合可穿戴物品 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30148-30161	持有期間 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 5419-5424	例 Object and 口袋 Object 例 Object and Clothing 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5622-5624	例 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 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: