| appearance as argument number 1 |
|
|
| (documentation Snake EnglishLanguage "A long and narrow Reptile which lacks Limbs.") | Mid-level-ontology.kif 12781-12781 | |
| (externalImage Snake "http://articulatesoftware.com/SUMOpictures/holiday/ halloween/ snake.png") | pictureList.kif 739-739 | |
| (externalImage Snake "http://upload.wikimedia.org/wikipedia/commons/5/59/ Snake.usuhs.jpg") | pictureList.kif 172-172 | |
| (subclass Snake Reptile) | Mid-level-ontology.kif 12780-12780 | Snake is a subclass of reptile |
| appearance as argument number 2 |
|
|
| (subclass ConstrictorSnake Snake) | Mid-level-ontology.kif 12795-12795 | Constrictor snake is a subclass of snake |
| (subclass Rattlesnake Snake) | Mid-level-ontology.kif 12790-12790 | Rattlesnake is a subclass of snake |
| (termFormat ChineseLanguage Snake "蛇") | domainEnglishFormat.kif 53598-53598 | Rattlesnake is a subclass of snake |
| (termFormat ChineseTraditionalLanguage Snake "蛇") | domainEnglishFormat.kif 53597-53597 | Rattlesnake is a subclass of snake |
| (termFormat EnglishLanguage Snake "snake") | domainEnglishFormat.kif 53596-53596 | Rattlesnake is a subclass of snake |
| antecedent |
|
|
| (=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 12783-12788 |
|
|
|
|