Fabric - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15880-15880	不相交的 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 15881-15886
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15879-15879	子類 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 5431-5431	子類毯 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5450-5450	子類棉織物 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15167-15167	子類窗簾 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5374-5374	子類皮革 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5416-5416	子類口袋 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5346-5346	子類地毯 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5387-5387	子類絲 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5360-5360	子類毛巾 and Fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5402-5402	子類羊毛 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 25264-25275

例 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 25202-25213	例 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 15905-15912	例 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 13255-13260	例 Object and 旗 Object 例 Object and Fabric 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5619-5621	例 Object and 針線活能力 Fabric, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5612-5617	例 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 26347-26353	例 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 6823-6828	例 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 3667-3673	例 Object and SeatBelt CorpuscularObject 部分 CorpuscularObject and Object attribute CorpuscularObject and 易彎的材料 Fabric and CorpuscularObject

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: