Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Crawling
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Crawling BodyMotion) | Mid-level-ontology.kif 4990-4990 | Crawling is a subclass of body motion |
| (subclass Crawling Translocation) | Mid-level-ontology.kif 4991-4991 | Crawling is a subclass of translocation |
| (documentation Crawling EnglishLanguage "A form of locomotion where a Bipedal animal changes location in part by use of the arms or hands on the ground. This covers a baby crawling on all fours, or a soldier dragging his lower body along pulled from the elbows in order to stay low and less visible. It does not however cover a dog walking on its front and rear legs because it's a normally quadripedal animal.") | Mid-level-ontology.kif 4993-4998 | Crawling is a subclass of translocation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Crawling "crawling") | Mid-level-ontology.kif 4992-4992 |
| antecedent |
|
|
| (=> (and (instance ?C Crawling) (agent ?C ?A)) (exists (?ARM) (and (instance ?ARM Arm) (part ?ARM ?A) (instrument ?C ?ARM)))) |
Mid-level-ontology.kif 5000-5008 | If X is an instance of crawling and Y is an agent of X, then there exists Z such that Z is an instance of arm, Z is a part of Y, and Z is an instrument for X |
| (=> (and (instance ?C Crawling) (agent ?C ?A)) (instance ?A Biped)) |
Mid-level-ontology.kif 5010-5014 | If X is an instance of crawling and Y is an agent of X, then Y is an instance of biped |
|