Blade
|
|
appearance as argument number 1 |
(documentation Blade EnglishLanguage "The Flat cutting part of a CuttingDevice.") | Mid-level-ontology.kif 22062-22062 | |
(subclass Blade CuttingDevice) | Mid-level-ontology.kif 22061-22061 | 子類 刀片 and 切割裝置 |
appearance as argument number 2 |
(termFormat ChineseLanguage Blade "刀片") | domainEnglishFormat.kif 11291-11291 | |
(termFormat ChineseTraditionalLanguage Blade "刀片") | domainEnglishFormat.kif 11290-11290 | |
(termFormat EnglishLanguage Blade "blade") | domainEnglishFormat.kif 11289-11289 |
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 | |
(=> (instance ?B Blade) (exists (?CD) (and (instance ?CD CuttingDevice) (part ?B ?CD)))) |
Mid-level-ontology.kif 22064-22069 |