Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Calf(calf)
|  | calf |
| appearance as argument number 1 |
|
|
| (subclass Calf Cattle) | Mid-level-ontology.kif 22455-22455 | Calf is a subclass of cattle |
| (documentation Calf EnglishLanguage "A young Cattle, i.e. a Cattle that is NonFullyFormed.") | Mid-level-ontology.kif 22456-22456 | Calf is a subclass of cattle |
| (externalImage Calf "http://upload.wikimedia.org/wikipedia/commons/5/57/ Calf_DSC04037.jpg") | pictureList.kif 4573-4573 | Calf is a subclass of cattle |
| appearance as argument number 2 |
|
|
| (meatOfAnimal Veal Calf) | Economy.kif 5321-5321 | Veal is the meat of calf |
| (termFormat EnglishLanguage Calf "calf") | domainEnglishFormat.kif 12721-12721 | Veal is the meat of calf |
| (termFormat ChineseTraditionalLanguage Calf "小牛") | domainEnglishFormat.kif 12722-12722 | Veal is the meat of calf |
| (termFormat ChineseLanguage Calf "小牛") | domainEnglishFormat.kif 12723-12723 | Veal is the meat of calf |
| antecedent |
|
|
| (<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 22458-22462 | X is an instance of calf if, only if X is an instance of cattle, and non fully formed is an attribute of X |
|