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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cattle

Sigma KEE - Cattle
Cattle(牛)

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


(documentation Cattle EnglishLanguage "A domesticated HoofedMammal, referred in either sex, that is raised for milkand beef, and is also used for work.") Mid-level-ontology.kif 20221-20222
(externalImage Cattle "http://articulatesoftware.com/SUMOpictures/transportation/ Signs/ cattle.png") pictureList.kif 328-328
(subclass Cattle DomesticAnimal) Mid-level-ontology.kif 20220-20220 家畜subclass
(subclass Cattle HoofedMammal) Mid-level-ontology.kif 20219-20219 有蹄哺乳动物subclass

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


(industryProductType CattleRanchingAndFarming Cattle) Economy.kif 6203-6203 养牛和养殖industry 产品类别
(subclass Bull Cattle) Mid-level-ontology.kif 20242-20242 公牛subclass
(subclass Calf Cattle) Mid-level-ontology.kif 20233-20233 小牛subclass
(subclass Cow Cattle) Mid-level-ontology.kif 20224-20224 母牛subclass
(subclass GuernseyCattle Cattle) Economy.kif 4903-4903 根西岛牛subclass
(subclass SenepolCattle Cattle) Economy.kif 4904-4904 Senepol牛subclass
(termFormat ChineseLanguage Cattle "牛") domainEnglishFormat.kif 13476-13476
(termFormat ChineseTraditionalLanguage Cattle "牛") domainEnglishFormat.kif 13475-13475
(termFormat EnglishLanguage Cattle "cattle") domainEnglishFormat.kif 13474-13474

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


(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Female)))
Mid-level-ontology.kif 20227-20231 客体公牛instance 若且唯若 那个 客体instance那个 客体attribute
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))
Mid-level-ontology.kif 20245-20249 客体公牛instance 若且唯若 那个 客体instance那个 客体attribute
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))
Mid-level-ontology.kif 20236-20240 客体小牛instance 若且唯若 那个 客体instance没有完全形成那个 客体attribute
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))
Food.kif 2906-2914


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