Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Burrow(burrow)
|  | burrow, rabbit_burrow, rabbit_hole, rabbit_warren, tunnel, warren, wormhole |
| appearance as argument number 1 |
|
|
| (subclass Burrow HoleRegion) | Geography.kif 7627-7627 | Burrow is a subclass of hole |
| (documentation Burrow EnglishLanguage "A small HoleRegion created by an Animal for the purpose of inhabiting it.") | Geography.kif 7628-7629 | Burrow is a subclass of hole |
| (externalImage Burrow "http://upload.wikimedia.org/wikipedia/commons/0/06/ Burrowing_Crayfish_in_his_burrow.jpg") | pictureList.kif 1469-1469 | Burrow is a subclass of hole |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?B Burrow) (exists (?P ?A) (and (instance ?P Process) (agent ?P ?A) (instance ?A Animal) (not (instance ?A Human)) (result ?P ?B)))) |
Geography.kif 7631-7640 | If X is an instance of burrow, then there exist Y, Z such that Y is an instance of process, Z is an agent of Y, Z is an instance of animal, Z is not an instance of human, and X is a result of Y |
| (=> (instance ?B Burrow) (exists (?A) (hasPurpose ?B (inhabits ?A ?B)))) |
Geography.kif 7642-7646 | If X is an instance of burrow, then there exists Y such that X has the purpose Y lives in X |
|