Cutting
|
|
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 12344-12345 | |
(subclass Cutting Poking) | Merge.kif 12343-12343 | Cortar e' uma sub-classe de Cutucar |
appearance as argument number 2 |
(subclass Felling Cutting) | Economy.kif 5468-5468 | Felling e' uma sub-classe de Cortar |
(subclass Slicing Cutting) | Mid-level-ontology.kif 22027-22027 | Slicing e' uma sub-classe de Cortar |
(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 |
consequent |
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 18202-18219 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ |