Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Archery
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Anchor AttachingDevice) | Mid-level-ontology.kif 4885-4885 | Anchor is a subclass of attaching device |
| (documentation Anchor EnglishLanguage "An AttachingDevice which is large hook or set of hooks that are used to secure a WaterVehicle on the open water.") | Mid-level-ontology.kif 4886-4887 | Anchor is a subclass of attaching device |
| (externalImage Anchor "http://articulatesoftware.com/SUMOpictures/transportation/ boats_1/ anchor_1.png") | pictureList.kif 221-221 | Anchor is a subclass of attaching device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle)) |
Mid-level-ontology.kif 4888-4894 | If X is an instance of anchor, Y is an instance of attaching, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of water vehicle |
|
