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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FemaleCow
FemaleCow

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


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