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 12419-12420
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12418-12418	子類 Cutting and Poking

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23132-23139	例 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 19239-19273	例 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 12334-12343	例 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 19202-19210	例 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 5772-5779	例 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 5682-5693	例 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 5733-5740	例 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 6227-6246	例 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 5758-5766	例 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 23112-23114	例 CaseRole and 切割裝置能力 Cutting, CaseRole and 儀器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19279-19287	例 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 19291-19308

降低可能性 ?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: