TreeView Knowledge Base Browser - CuttingDevice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CuttingDevice

CuttingDevice(切割裝置)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21995-21996
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 162-162
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21994-21994	子類切割裝置 and Device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22009-22009	子類刀片 and 切割裝置
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18108-18108	子類鑽頭 and 切割裝置
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21980-21980	子類刀 and 切割裝置
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18186-18186	子類 PaperShredder and 切割裝置
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6014-6014	子類刨床 and 切割裝置
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18147-18147	子類鋸 and 切割裝置
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18240-18240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18239-18239
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18238-18238

antecedent

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

Mid-level-ontology.kif 21998-22000

例 CaseRole and 切割裝置
能力 Cutting, CaseRole and 儀器

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	例 Object and 鋸例 Process and Cutting 儀器 Process and Object 例 Object and Object 患者 Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object 例 Process and Motion 子過程 Process and Process 例 Object and 切割裝置部分 Object and Object 空間的符合 Object and Object 患者 Process and Object 例 TimePosition and TimeInterval 例 TimePosition and TimeInterval 等於何時 Process and TimeInterval 時間部分 TimeInterval and TimePosition 時間部分 TimeInterval and TimePosition 例 Entity and DirectionalAttribute 例 Entity and DirectionalAttribute 持有期間 TimePosition and 方向 Process and Entity 持有期間 TimePosition and 方向 Process and Entity 等於 Entity and Entity Entity 是 Entity 的 opposite 方向 ~{ 等於 Entity and Entity } ~{ Entity 是 Entity 的 opposite 方向 }
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22012-22017	例 Object and 刀片 Object 例 Object and 切割裝置部分 Object and Object

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