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 DomesticDog DomesticAnimal) | Mid-level-ontology.kif 22339-22339 | Domestic dog is a subclass of domestic animal |
| (subclass DomesticDog Canine) | Mid-level-ontology.kif 22340-22340 | Domestic dog is a subclass of canine |
| (documentation DomesticDog EnglishLanguage "Canines which have evolved from the common wolf by selective breeding.") | Mid-level-ontology.kif 22341-22342 | Domestic dog is a subclass of canine |
| (externalImage DomesticDog "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 53/ Shetland_Sheepdog_and_Rough_Collie.jpg/ 230px_Shetland_Sheepdog_and_Rough_Collie.jpg") | pictureList-ImageNet.kif 63-63 | Domestic dog is a subclass of canine |
| (externalImage DomesticDog "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Terrier_mixed_breed_dog.jpg") | pictureList.kif 949-949 | Domestic dog is a subclass of canine |
| appearance as argument number 2 |
|
|
| (subclass Puppy DomesticDog) | Mid-level-ontology.kif 22344-22344 | Puppy is a subclass of domestic dog |
| (subclass Poodle DomesticDog) | Mid-level-ontology.kif 22351-22351 | Poodle is a subclass of domestic dog |
| (subclass Sheepdog DomesticDog) | Mid-level-ontology.kif 22360-22360 | Sheepdog is a subclass of domestic dog |
| (subclass Dachshund DomesticDog) | Mid-level-ontology.kif 22367-22367 | Dachshund is a subclass of domestic dog |
| (termFormat EnglishLanguage DomesticDog "domestic dog") | domainEnglishFormat.kif 20136-20136 | Dachshund is a subclass of domestic dog |
| (termFormat ChineseTraditionalLanguage DomesticDog "家養的狗") | domainEnglishFormat.kif 20137-20137 | Dachshund is a subclass of domestic dog |
| (termFormat ChineseLanguage DomesticDog "家养的狗") | domainEnglishFormat.kif 20138-20138 | Dachshund is a subclass of domestic dog |
|
