TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Cutting ChineseLanguage "这是使用尖锐 instrument 所做 Poking Process 的 subclass。 ")	chinese_format.kif 3161-3162
(documentation Cutting EnglishLanguage "The subclass of Poking Processes which involve a sharp instrument.")	Merge.kif 12390-12391
(subclass Cutting Poking)	Merge.kif 12389-12389	子類 Cutting and Poking

appearance as argument number 2

(subclass Felling Cutting)	Economy.kif 5468-5468	子類砍伐 and Cutting
(subclass Slicing Cutting)	Mid-level-ontology.kif 22079-22079	子類 Slicing and Cutting
(termFormat ChineseLanguage Cutting "切开")	chinese_format.kif 1164-1164
(termFormat EnglishLanguage Cutting "cutting")	english_format.kif 1545-1545
(termFormat FrenchLanguage Cutting "couper")	french_format.kif 842-842
(termFormat Hindi Cutting "kataaii")	terms-hindi.txt 374-374
(termFormat ItalianLanguage Cutting "Tagliare")	terms-it.txt 377-377
(termFormat JapaneseLanguage Cutting "切断")	japanese_format.kif 2526-2526
(termFormat PortugueseLanguage Cutting "Cortar")	portuguese_format.kif 794-794
(termFormat cb Cutting "pagputol")	terms-cb.txt 379-379
(termFormat cz Cutting "cutting")	terms-cz.txt 413-413
(termFormat ro Cutting "tãiere")	relations-ro.kif 863-863
(termFormat tg Cutting "pagputol")	terms-tg.txt 378-378

antecedent

(=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ))	Mid-level-ontology.kif 22070-22077	例 Object and 刀片例 Process and Cutting 例 Object and Object 儀器 Process and Object 患者 Process and Object 空間的符合 Object and Object
(=> (and (instance ?SAW Saw) (instance ?CUT Cutting) (instrument ?CUT ?SAW) (instance ?OBJ Object) (patient ?CUT ?OBJ)) (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART) (and (instance ?MOTION Motion) (subProcess ?MOTION ?CUT) (instance ?PART CuttingDevice) (part ?PART ?SAW) (meetsSpatially ?PART ?OBJ) (patient ?MOTION ?PART) (instance ?T2 TimeInterval) (instance ?T2 TimeInterval) (equal (WhenFn ?MOTION) ?TIME) (temporalPart ?TIME ?T1) (temporalPart ?TIME ?T2) (instance ?DIR1 DirectionalAttribute) (instance ?DIR2 DirectionalAttribute) (=> (holdsDuring ?T1 (direction ?MOTION ?DIR1)) (holdsDuring ?T2 (and (direction ?MOTION ?DIR2) (or (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)) (not (and (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)))))))))	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 方向 }

consequent

(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT))))	Merge.kif 12305-12314	例 Process and Surgery 患者 Process and Entity Process 例 Process and Cutting 例 Entity and Animal 患者 Process and Entity 子過程 Process and Process
(=> (attribute ?X BarberShops) (hasPurpose ?X (exists (?HAIR ?HUMAN ?CUT ?STYLIST) (and (instance ?HAIR Hair) (part ?HAIR ?HUMAN) (instance ?HUMAN Human) (instance ?CUT Cutting) (patient ?CUT ?HAIR) (eventLocated ?CUT ?X) (agent ?CUT ?STYLIST) (employs ?X ?STYLIST)))))	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
(=> (instance ?D Drill) (hasPurpose ?D (exists (?E ?H) (and (instance ?E Cutting) (instance ?H HoleRegion) (result ?E ?H) (instrument ?E ?D)))))	Mid-level-ontology.kif 18140-18148	例 Physical and 鑽頭有目的 Physical and entity entity 例 entity and Cutting 例 entity and HoleRegion 結果 entity and entity 儀器 entity and Physical
(=> (instance ?F FinishedLumber) (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (result ?C ?F))))	Economy.kif 5562-5569	例 Entity and FinishedLumber Process Object 例 Process and Cutting 儀器 Process and Object 例 Object and 刨床結果 Process and Entity
(=> (instance ?FELL Felling) (exists (?C ?F ?T ?S) (and (instance ?C Cutting) (patient ?C ?T) (instance ?T BotanicalTree) (result ?C ?F) (instance ?F Falling) (patient ?F ?S) (instance ?S PlantStem) (part ?S ?T))))	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
(=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber))))	Economy.kif 5523-5530	例 Entity and 木料 Process Entity 例 Process and Cutting 結果 Process and Entity 患者 Process and Entity 例 Entity and 木料
(=> (instance ?PLANER Planer) (hasPurpose ?PLANER (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2) (and (instance ?CUT Cutting) (instrument ?CUT ?PLANER) (resource ?CUT ?OBJ1) (instance ?OBJ1 Object) (material ?OBJ1 Wood) (result ?CUT ?OBJ2) (instance ?OBJ2 Object) (material Wood ?OBJ2) (attribute ?OBJ2 Flat) (instance ?U UnitOfLength) (height ?OBJ1 (MeasureFn ?H1 ?U)) (height ?OBJ2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 ?H2)))))	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
(=> (instance ?R RoughSawnLumber) (not (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (patient ?C ?R)))))	Economy.kif 5548-5556	例 Entity and RoughSawnLumber Process Object 例 Process and Cutting 儀器 Process and Object 例 Object and 刨床患者 Process and Entity
(=> (instance ?X CuttingDevice) (capability Cutting ?X instrument))	Mid-level-ontology.kif 22050-22052	例 CaseRole and 切割裝置能力 Cutting, CaseRole and 儀器
(=> (instance ?X PaperShredder) (hasPurpose ?X (exists (?CUT ?PAPER) (and (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER)))))	Mid-level-ontology.kif 18217-18225	例 Physical and PaperShredder 有目的 Physical and entity entity 例 entity and Cutting 儀器 entity and Physical 例 entity and 紙患者 entity and entity

statement

(decreasesLikelihood
    (exists (?X ?CUT ?PAPER ?CBO ?INFO)
        (and
            (instance ?X PaperShredder)
            (instance ?CUT Cutting)
            (instrument ?CUT ?X)
            (instance ?PAPER Paper)
            (patient ?CUT ?PAPER)
            (located ?CBO ?PAPER)
            (instance ?CBO VisualContentBearingObject)
            (containsInformation ?CBO ?INFO)))
    (exists (?READ)
        (and
            (instance ?READ Interpreting)
            (patient ?READ ?INFO)
            (earlier
                (WhenFn ?CUT)
                (WhenFn ?READ)))))

Mid-level-ontology.kif 18229-18246

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

KB Term:			Term intersection

English Word: