Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Calf
Calf(calf)
calf

appearance as argument number 1
-------------------------


(documentation Calf EnglishLanguage "A young Cattle, i.e. a Cattle that is NonFullyFormed.") Mid-level-ontology.kif 21824-21824
(externalImage Calf "http://upload.wikimedia.org/wikipedia/commons/5/57/ Calf_DSC04037.jpg") pictureList.kif 4573-4573
(subclass Calf Cattle) Mid-level-ontology.kif 21823-21823 Calf is a subclass of cattle

appearance as argument number 2
-------------------------


(meatOfAnimal Veal Calf) Economy.kif 5313-5313 Veal is the meat of calf
(termFormat ChineseLanguage Calf "小牛") domainEnglishFormat.kif 12724-12724 Veal is the meat of calf
(termFormat ChineseTraditionalLanguage Calf "小牛") domainEnglishFormat.kif 12723-12723 Veal is the meat of calf
(termFormat EnglishLanguage Calf "calf") domainEnglishFormat.kif 12722-12722 Veal is the meat of calf

antecedent
-------------------------


(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))
Mid-level-ontology.kif 21826-21830 An object is an instance of calf if and only if the object is an instance of cattle and non fully formed is an attribute of the object


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners