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, 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 17959-17959
(subclass FemaleCow Cow) Mid-level-ontology.kif 17958-17958 Female cow is a subclass of cow

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


(termFormat ChineseLanguage FemaleCow "母牛") domainEnglishFormat.kif 23419-23419
(termFormat ChineseTraditionalLanguage FemaleCow "母牛") domainEnglishFormat.kif 23418-23418
(termFormat EnglishLanguage FemaleCow "female cow") domainEnglishFormat.kif 23417-23417

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


(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))
Mid-level-ontology.kif 17961-17965 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