Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Blade(blade) |  | blade |
| appearance as argument number 1 |
|
|
| (subclass Blade CuttingDevice) | Mid-level-ontology.kif 24300-24300 | Blade is a subclass of cutting device |
| (documentation Blade EnglishLanguage "The Flat cutting part of a CuttingDevice.") | Mid-level-ontology.kif 24301-24301 | Blade is a subclass of cutting device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B Blade) (exists (?CD) (and (instance ?CD CuttingDevice) (part ?B ?CD)))) |
Mid-level-ontology.kif 24303-24308 | If X is an instance of blade, then there exists Y such that Y is an instance of cutting device and X is a part of Y |
| (=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 24309-24316 | If X is an instance of blade, Y is an instance of cutting, Z is an instance of object, X is an instrument for Y, and Z is a patient of Y, then X meets Z |
|