Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Reptile ColdBloodedVertebrate) | Merge.kif 14975-14975 | Reptile is a subclass of cold blooded vertebrate |
| (documentation Reptile EnglishLanguage "A ColdBloodedVertebrate having an external covering of scales or horny plates. Reptiles breathe by means of Lungs and generally lay eggs.") | Merge.kif 14976-14978 | Reptile is a subclass of cold blooded vertebrate |
| (externalImage Reptile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ Agkistrodon_contortrix_phaeogaster.jpg/ 180px_Agkistrodon_contortrix_phaeogaster.jpg") | pictureList-ImageNet.kif 26-26 | Reptile is a subclass of cold blooded vertebrate |
| (externalImage Reptile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 43/ SaltwaterCrocodile('Maximo').jpg/ 180px_SaltwaterCrocodile('Maximo').jpg") | pictureList-ImageNet.kif 27-27 | Reptile is a subclass of cold blooded vertebrate |
| (externalImage Reptile "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 93/ Perentie_Lizard_Perth_Zoo_SMC_Spet_2005.jpg/ 275px_Perentie_Lizard_Perth_Zoo_SMC_Spet_2005.jpg") | pictureList-ImageNet.kif 28-28 | Reptile is a subclass of cold blooded vertebrate |
| (externalImage Reptile "http://upload.wikimedia.org/wikipedia/en/thumb/2/ 29/ Tiger_snake.jpg/ 250px_Tiger_snake.jpg") | pictureList-ImageNet.kif 29-29 | Reptile is a subclass of cold blooded vertebrate |
| (externalImage Reptile "http://upload.wikimedia.org/wikipedia/th/thumb/b/ b0/ Eunectes_notaeus.jpg/ 243px_Eunectes_notaeus.jpg") | pictureList-ImageNet.kif 30-30 | Reptile is a subclass of cold blooded vertebrate |
| (externalImage Reptile "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Badende_%C3%B8gle.jpg") | pictureList.kif 4804-4804 | Reptile is a subclass of cold blooded vertebrate |
| appearance as argument number 2 |
|
|
| (subclass Snake Reptile) | Mid-level-ontology.kif 14177-14177 | Snake is a subclass of reptile |
| (subclass Alligator Reptile) | Mid-level-ontology.kif 22515-22515 | Alligator is a subclass of reptile |
| (subclass Crocodile Reptile) | Mid-level-ontology.kif 33197-33197 | Crocodile is a subclass of reptile |
| (subclass Turtle Reptile) | Economy.kif 5271-5271 | Turtle is a subclass of reptile |
| (termFormat EnglishLanguage Reptile "reptile") | english_format.kif 1222-1222 | Turtle is a subclass of reptile |
| appearance as argument number 4 |
|
|
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | Merge.kif 14859-14859 | Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
| antecedent |
|
|
| (=> (and (instance ?R Reptile) (sheddingBodyPart ?R ?S)) (instance ?S Skin)) |
Geography.kif 8092-8096 | If X is an instance of reptile and X is Removing Y from its body, then Y is an instance of skin |
| consequent |
|
|
| (=> (and (instance ?A Animal) (instance ?S AnimalShell) (part ?S ?A)) (or (instance ?A Invertebrate) (instance ?A Reptile))) |
Mid-level-ontology.kif 13031-13038 | If X is an instance of animal, Y is an instance of animal shell, and Y is a part of X, then X is an instance of invertebrate or X is an instance of reptile |
|
.jpg/180px_SaltwaterCrocodile('Maximo').jpg)
