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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Livestock
Livestock

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


(documentation Livestock EnglishLanguage "Livestock is the class of live animals raised as AgriculturalProducts.") Economy.kif 5229-5230
(externalImage Livestock "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Sheep_in_field_with_other_livestock.jpg") pictureList.kif 955-955
(subclass Livestock DomesticAnimal) Economy.kif 5227-5227

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


(subclass WaterBuffalo Livestock) Economy.kif 5248-5248
(termFormat ChineseLanguage Livestock "家畜") domainEnglishFormat.kif 34780-34780
(termFormat ChineseTraditionalLanguage Livestock "家畜") domainEnglishFormat.kif 34779-34779
(termFormat EnglishLanguage Livestock "livestock") domainEnglishFormat.kif 34778-34778

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


(=>
    (instance ?ITEM Livestock)
    (instance ?ITEM Animal))
Economy.kif 5232-5234

consequent
-------------------------


(=>
    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))
Transportation.kif 2503-2505
(=>
    (instance ?T LivestockPen)
    (hasPurpose ?T
        (exists (?C ?L)
            (and
                (instance ?L Livestock)
                (instance ?C Confining)
                (instrument ?C ?T)
                (patient ?C ?L)))))
Mid-level-ontology.kif 5103-5111


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