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 16711-16711
(subclass FemaleCow Cow) Mid-level-ontology.kif 16710-16710

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


(termFormat ChineseLanguage FemaleCow "母牛") domainEnglishFormat.kif 23487-23487
(termFormat ChineseTraditionalLanguage FemaleCow "母牛") domainEnglishFormat.kif 23486-23486
(termFormat EnglishLanguage FemaleCow "female cow") domainEnglishFormat.kif 23485-23485

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


(<=>
    (instance ?COW FemaleCow)
    (and
        (instance ?COW Cow)
        (attribute ?COW Female)))
Mid-level-ontology.kif 16713-16717


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