Plastic - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Plastic

Plastic(塑料)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9196-9200
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6773-6773
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7584-7584
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7586-7586
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7587-7587
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31638-31638	roomTempState 塑料 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9195-9195	子類塑料 and 烴

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9202-9202	子類 Polypropylene and 塑料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9209-9209	子類 Polystyrene and 塑料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4601-4601	子類 SyntheticWicker and 塑料
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46158-46158
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46157-46157
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46156-46156

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 3497-3515	例 Collection and Organization attribute Collection and 塑料和橡膠製品製造 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 AutonomousAgent and Manufacture 例 Entity and 塑料例 Entity and 橡膠患者 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.	Sports.kif 1040-1047	例 CorpuscularObject and SnowSki 材料 Substance and CorpuscularObject 子類 Substance and Metal 子類 Substance and 木子類 Substance and 塑料
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5163-5177	例 Physical and 熱封機有目的 Physical and entity entity, entity and entity 例 entity and 容器例 entity and 塑料例 entity and 關閉例 entity and Heating 儀器 entity and Physical 儀器 entity and entity agent entity and Physical 患者 entity and entity 結果 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3236-3246	例 Object and LaminatedWindshield Object Object and Object 例 Object and 玻璃例 Object and 玻璃例 Object and 塑料部分 Object and Object 部分 Object and Object 部分 Object and Object 之間 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Media.kif 1139-1141	例 CorpuscularObject and OpticalDisc 材料塑料 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