Cutting - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3161-3162
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12344-12345
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12343-12343	子類 Cutting and Poking

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5468-5468	子類砍伐 and Cutting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22027-22027	子類 Slicing and Cutting
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1164-1164
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1545-1545
No TPTP formula. May not be expressible in strict first order.	french_format.kif 842-842
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 374-374
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 377-377
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2526-2526
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 794-794
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 379-379
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 413-413
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 863-863
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 378-378

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22018-22025	例 Object and 刀片例 Process and Cutting 例 Object and Object 儀器 Process and Object 患者 Process and Object 空間的符合 Object and Object
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 方向 }

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12259-12268	例 Process and Surgery 患者 Process and Entity Process 例 Process and Cutting 例 Entity and Animal 患者 Process and Entity 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	attribute Object and 理髮店有目的 Object and entity entity, entity and entity 例 entity and 頭髮部分 entity and entity 例 entity and Human 例 entity and Cutting 患者 entity and entity entity 是 located 在 Object agent entity and entity 採用 Object and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18113-18121	例 Physical and 鑽頭有目的 Physical and entity entity 例 entity and Cutting 例 entity and HoleRegion 結果 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5562-5569	例 Entity and FinishedLumber Process Object 例 Process and Cutting 儀器 Process and Object 例 Object and 刨床結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	例 Entity and 砍伐 Process Process, Object and Object 例 Process and Cutting 患者 Process and Object 例 Object and 植物樹結果 Process and Process 例 Process and 落下患者 Process and Object 例 Object and PlantStem 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5523-5530	例 Entity and 木料 Process Entity 例 Process and Cutting 結果 Process and Entity 患者 Process and Entity 例 Entity and 木料
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	例 Physical and 刨床有目的 Physical and entity entity, entity, entity, entity and entity 例 entity and Cutting 儀器 entity and Physical 資源 entity and entity 例 entity and Object 材料 entity and 木結果 entity and entity 例 entity and Object 材料木 and entity attribute entity and 平面例 entity and UnitOfLength 高度 entity and 測量 entity and entity 高度 entity and 測量 entity and entity 比較多 entity and entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5548-5556	例 Entity and RoughSawnLumber Process Object 例 Process and Cutting 儀器 Process and Object 例 Object and 刨床患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21998-22000	例 CaseRole and 切割裝置能力 Cutting, CaseRole and 儀器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18190-18198	例 Physical and PaperShredder 有目的 Physical and entity entity 例 entity and Cutting 儀器 entity and Physical 例 entity and 紙患者 entity and entity

statement

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

Mid-level-ontology.kif 18202-18219

降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀患者 ?READ and ?INFO 早期何時 ?CUT and 何時 ?READ

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: