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 Marsupial Mammal) | Merge.kif 14906-14906 | Marsupial is a subclass of mammal |
| (documentation Marsupial EnglishLanguage "The Class of Mammals which have a pouch for their young.") | Merge.kif 14907-14908 | Marsupial is a subclass of mammal |
| (externalImage Marsupial "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ fc/ Cricetomys_emini.jpg/ 180px_Cricetomys_emini.jpg") | pictureList-ImageNet.kif 45-45 | Marsupial is a subclass of mammal |
| (externalImage Marsupial "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ ac/ Tasdevil_large.jpg/ 250px_Tasdevil_large.jpg") | pictureList-ImageNet.kif 46-46 | Marsupial is a subclass of mammal |
| (externalImage Marsupial "http://upload.wikimedia.org/wikipedia/mt/thumb/ 0/ 0d/ Marsupial_mole_Notoryctes_typhlops.jpg/ 225px_Marsupial_mole_Notoryctes_typhlops.jpg") | pictureList-ImageNet.kif 47-47 | Marsupial is a subclass of mammal |
| (externalImage Marsupial "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 49/ Koala_climbing_tree.jpg/ 250px_Koala_climbing_tree.jpg") | pictureList-ImageNet.kif 48-48 | Marsupial is a subclass of mammal |
| appearance as argument number 2 |
|
|
| (subclass Kangaroo Marsupial) | Mid-level-ontology.kif 22550-22550 | Kangaroo is a subclass of marsupial |
| (termFormat EnglishLanguage Marsupial "marsupial") | english_format.kif 1197-1197 | Kangaroo is a subclass of marsupial |
| appearance as argument number 4 |
|
|
| (disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) | Merge.kif 14893-14893 | Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate |
|
