FemaleCow - Sigma Knowledge base Browser

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

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