Cutting(Tagliare) |
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 12366-12367 | |
(subclass Cutting Poking) | Merge.kif 12365-12365 | Tagliare è una sottoclasse di Perforare |
appearance as argument number 2 |
(subclass Felling Cutting) | Economy.kif 5468-5468 | Felling è una sottoclasse di Tagliare |
(subclass Slicing Cutting) | Mid-level-ontology.kif 22026-22026 | Slicing è una sottoclasse di Tagliare |
(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 18201-18218 | decreasesLikelihood ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X è un' istanza di PaperShredder ?CUT è un' istanza di Tagliare ?X è uno strumento per ?CUT ?PAPER è un' istanza di Paper ?PAPER è un paziente di ?CUT ?CBO è localizzato in ?PAPER ?CBO è un' istanza di VisualContentBearingObject ?CBO contienes informazione ?INFO and ?READ ?READ è un' istanza di Interpreting ?INFO è un paziente di ?READ il tempo di esistenza di ?CUT accades prima di il tempo di esistenza di ?READ |