TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15902-15902	不相交的 Fabric and StationaryArtifact
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3609-3611
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15903-15908
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15901-15901	子類 Fabric and Artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1886-1886	Fabric 是織物廠的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5430-5430	子類毯 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5449-5449	子類棉織物 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15166-15166	子類窗簾 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5373-5373	子類皮革 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5415-5415	子類口袋 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5345-5345	子類地毯 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5386-5386	子類絲 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5359-5359	子類毛巾 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5401-5401	子類羊毛 and Fabric
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1054-1054
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1319-1319
No TPTP formula. May not be expressible in strict first order.	french_format.kif 732-732
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 263-263
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 266-266
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2416-2416
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 684-684
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 268-268
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 302-302
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 753-753
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 267-267

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 25263-25274

例 Process and Ironing 患者 Process and Object 部分 Object and Object 例 Object and Fabric
ProcessRON Process 例 Process and Heating 患者 Process and ProcessRON 例 ProcessRON and FabricIron 儀器 Process and ProcessRON

consequent

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.	naics.kif 1944-1960	例 Collection and Organization attribute Collection and 紡織廠 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 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.	naics.kif 2085-2101	例 Collection and Organization attribute Collection and 紡織產品廠 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 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 25201-25212	例 Physical and IroningBoard 有目的 Physical and entity entity and entity 例 entity and Ironing 患者 entity and entity 部分 entity and entity 例 entity and Fabric 持有期間何時 entity and 方位 entity, Physical and 上
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 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13254-13259	例 Object and 旗 Object 例 Object and Fabric 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5618-5620	例 Object and 針線活能力 Fabric, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5611-5616	例 Process and 針線活 Entity 例 Entity and Fabric 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3655-3657	例 CorpuscularObject and 串材料 Fabric and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26335-26341	例 CorpuscularObject and Sail Object 材料 Fabric and CorpuscularObject 例 Object and 桅杆連接的 CorpuscularObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4230-4237	例 Object and 膠帶 Object 部分 Object and Object 例 Object and 紙例 Object and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6822-6827	例 Object and 帳篷 Object 例 Object and Fabric 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4127-4129	例 CorpuscularObject and BedLinen 材料 Fabric and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3958-3969	例 CorpuscularObject and Hammock 材料 Fabric and CorpuscularObject Object Object and Object 方位 Object, Object and 近連接的 Object and CorpuscularObject 連接的 Object and CorpuscularObject 例 Object and LandArea 位於 CorpuscularObject and Object 方位 CorpuscularObject, Object and 以上
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3675-3681	例 Object and SeatBelt CorpuscularObject 部分 CorpuscularObject and Object attribute CorpuscularObject and 易彎的材料 Fabric and CorpuscularObject

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: