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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Calf

Sigma KEE - Calf
Calf

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


(documentation Calf EnglishLanguage "A young Cattle, i.e. a Cattle that is NonFullyFormed.") Mid-level-ontology.kif 20206-20206
(externalImage Calf "http://upload.wikimedia.org/wikipedia/commons/5/57/ Calf_DSC04037.jpg") pictureList.kif 4574-4574
(subclass Calf Cattle) Mid-level-ontology.kif 20205-20205 Calf ist eine teilkategorie von Cattle

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


(meatOfAnimal Veal Calf) Economy.kif 4973-4973 meatOfAnimal Veal and Calf
(termFormat ChineseLanguage Calf "小牛") domainEnglishFormat.kif 12715-12715
(termFormat ChineseTraditionalLanguage Calf "小牛") domainEnglishFormat.kif 12714-12714
(termFormat EnglishLanguage Calf "calf") domainEnglishFormat.kif 12713-12713

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


(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))
Mid-level-ontology.kif 20208-20212 Object ist ein fall von Calf %n{nicht} genau dann wenn ** Object ist ein fall von Cattle %n{nicht} und NonFullyFormed ist ein attribut von ** Object %n{nicht}


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

Show without tree


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