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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FemaleCow
FemaleCow(female cow)cow, dairy_cattle, dairy_cow, female_cow, milch_cow, milcher, milk_cow, milker, moo-cow, springer, springing_cow

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


(documentation FemaleCow EnglishLanguage "A Cow that is Female.") Mid-level-ontology.kif 17957-17957
(subclass FemaleCow Cow) Mid-level-ontology.kif 17956-17956 Female cow is a subclass of cow

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


(termFormat EnglishLanguage FemaleCow "female cow") domainEnglishFormat.kif 4337-4337 "female cow" is the printable form of female cow in english language

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


(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))
Mid-level-ontology.kif 17959-17963 An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners