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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cattle
Cattle(cattle)
bovine

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 21283-21284
(externalImage Cattle "http://articulatesoftware.com/SUMOpictures/transportation/ Signs/ cattle.png") pictureList.kif 328-328
(subclass Cattle DomesticAnimal) Mid-level-ontology.kif 21282-21282 Cattle is a subclass of domestic animal
(subclass Cattle HoofedMammal) Mid-level-ontology.kif 21281-21281 Cattle is a subclass of hoofed mammal

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


(industryProductType CattleRanchingAndFarming Cattle) Economy.kif 6413-6413 Cattle is an industry product type of cattle ranching and farming
(subclass Bull Cattle) Mid-level-ontology.kif 21304-21304 Bull is a subclass of cattle
(subclass Calf Cattle) Mid-level-ontology.kif 21295-21295 Calf is a subclass of cattle
(subclass Cow Cattle) Mid-level-ontology.kif 21286-21286 Cow is a subclass of cattle
(subclass GuernseyCattle Cattle) Economy.kif 5113-5113 Guernsey cattle is a subclass of cattle
(subclass SenepolCattle Cattle) Economy.kif 5114-5114 Senepol cattle is a subclass of cattle
(termFormat ChineseLanguage Cattle "牛") domainEnglishFormat.kif 13491-13491 Senepol cattle is a subclass of cattle
(termFormat ChineseTraditionalLanguage Cattle "牛") domainEnglishFormat.kif 13490-13490 Senepol cattle is a subclass of cattle
(termFormat EnglishLanguage Cattle "cattle") domainEnglishFormat.kif 13489-13489 Senepol cattle is a subclass of cattle

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


(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Female)))		 Mid-level-ontology.kif 21289-21293 An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object
(<=>
    (instance ?B Bull)
    (and
        (instance ?B Cattle)
        (attribute ?B Male)))		 Mid-level-ontology.kif 21307-21311 An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object
(<=>
    (instance ?C Calf)
    (and
        (instance ?C Cattle)
        (attribute ?C NonFullyFormed)))		 Mid-level-ontology.kif 21298-21302 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
(=>
    (and
        (equal ?S
            (OrganicObjectFn ?F))
        (subclass ?S Suet)
        (subclass ?F FatTissue))
    (or
        (initialPart ?F Cattle)
        (initialPart ?F Sheep)))		 Food.kif 2906-2914


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