![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Vein
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Fishing Hunting) | Geography.kif 4140-4140 | Fishing is a subclass of hunting |
| (documentation Fishing EnglishLanguage "Fishing is the class of Processes in which Fish are hunted.") | Geography.kif 4141-4142 | Fishing is a subclass of hunting |
| (externalImage Fishing "http://articulatesoftware.com/SUMOpictures/education/ coloring_pages/ fishing.png") | pictureList.kif 434-434 | Fishing is a subclass of hunting |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish)) |
Geography.kif 4144-4149 | If X is an instance of fishing, Y is a patient of X, and Y is an instance of animal, then Y is an instance of fish |