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

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


(termFormat ChineseLanguage FemaleCow "母牛") domainEnglishFormat.kif 23494-23494
(termFormat ChineseTraditionalLanguage FemaleCow "母牛") domainEnglishFormat.kif 23493-23493
(termFormat EnglishLanguage FemaleCow "female cow") domainEnglishFormat.kif 23492-23492

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


(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))
Mid-level-ontology.kif 17991-17995 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 3.0 is open source software produced by Articulate Software and its partners