| Blade(blade) | | blade |
| appearance as argument number 1 |
|
|
| (documentation Blade EnglishLanguage "The Flat cutting part of a CuttingDevice.") | Mid-level-ontology.kif 22293-22293 | |
| (subclass Blade CuttingDevice) | Mid-level-ontology.kif 22292-22292 | Blade is a subclass of cutting device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Blade "刀片") | domainEnglishFormat.kif 11307-11307 | |
| (termFormat ChineseTraditionalLanguage Blade "刀片") | domainEnglishFormat.kif 11306-11306 | |
| (termFormat EnglishLanguage Blade "blade") | domainEnglishFormat.kif 11305-11305 |
| antecedent |
|
|
| (=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 22301-22308 |
|
| (=> (instance ?B Blade) (exists (?CD) (and (instance ?CD CuttingDevice) (part ?B ?CD)))) |
Mid-level-ontology.kif 22295-22300 |
|
|
|
|