TreeView Knowledge Base Browser - Saw

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Saw

Sigma KEE - Saw

Saw(鋸)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18175-18175
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18174-18174	子類鋸 and 切割裝置

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51401-51401
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51400-51400
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51399-51399

antecedent

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

Mid-level-ontology.kif 18177-18211

例 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 方向 }

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