Snake |
appearance as argument number 1 |
(documentation Snake EnglishLanguage "A long and narrow Reptile which lacks Limbs.") | Mid-level-ontology.kif 12562-12562 | |
(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 12561-12561 | Snake è una sottoclasse di Rettile |
appearance as argument number 2 |
(subclass ConstrictorSnake Snake) | Mid-level-ontology.kif 12576-12576 | ConstrictorSnake è una sottoclasse di Snake |
(subclass Rattlesnake Snake) | Mid-level-ontology.kif 12571-12571 | Rattlesnake è una sottoclasse di Snake |
(termFormat ChineseLanguage Snake "蛇") | domainEnglishFormat.kif 53558-53558 | |
(termFormat ChineseTraditionalLanguage Snake "蛇") | domainEnglishFormat.kif 53557-53557 | |
(termFormat EnglishLanguage Snake "snake") | domainEnglishFormat.kif 53556-53556 |
antecedent |
(=> (instance ?SNAKE Snake) (not (exists (?LIMB) (and (instance ?LIMB Limb) (part ?LIMB ?SNAKE))))) |
Mid-level-ontology.kif 12564-12569 |