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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Livestock

appearance as argument number 1

(documentation Livestock EnglishLanguage "Livestock is the class of live animals raised as AgriculturalProducts.") Economy.kif 4212-4213
(externalImage Livestock " 4/ 49/ Sheep_in_field_with_other_livestock.jpg") pictureList.kif 956-956
(subclass Livestock DomesticAnimal) Economy.kif 4210-4210 Livestock is a subclass of domestic animal

appearance as argument number 2

(subclass WaterBuffalo Livestock) Economy.kif 4231-4231 Water buffalo is a subclass of livestock
(termFormat ChineseLanguage Livestock "家畜") domainEnglishFormat.kif 34684-34684
(termFormat ChineseTraditionalLanguage Livestock "家畜") domainEnglishFormat.kif 34683-34683
(termFormat EnglishLanguage Livestock "livestock") domainEnglishFormat.kif 34682-34682


    (instance ?ITEM Livestock)
    (instance ?ITEM Animal))
Economy.kif 4215-4217


    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))
Transportation.kif 2317-2319
    (instance ?T LivestockPen)
    (hasPurpose ?T
        (exists (?C ?L)
                (instance ?L Livestock)
                (instance ?C Confining)
                (instrument ?C ?T)
                (patient ?C ?L)))))
Mid-level-ontology.kif 4984-4992

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