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 20465-20465
(externalImage Calf "http://upload.wikimedia.org/wikipedia/commons/5/57/ Calf_DSC04037.jpg") pictureList.kif 4574-4574
(subclass Calf Cattle) Mid-level-ontology.kif 20464-20464 Calf is a subclass of cattle

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


(meatOfAnimal Veal Calf) Economy.kif 4973-4973 Veal is the meat of calf
(termFormat ChineseLanguage Calf "小牛") domainEnglishFormat.kif 12731-12731 Veal is the meat of calf
(termFormat ChineseTraditionalLanguage Calf "小牛") domainEnglishFormat.kif 12730-12730 Veal is the meat of calf
(termFormat EnglishLanguage Calf "calf") domainEnglishFormat.kif 12729-12729 Veal is the meat of calf

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


(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))
Mid-level-ontology.kif 20467-20471 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