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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BloodCell
BloodCell

appearance as argument number 1
-------------------------


(documentation BloodCell EnglishLanguage "A Cell that is normally present in Blood.") Mid-level-ontology.kif 9143-9143
(externalImage BloodCell "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Illu_blood_cell_lineage.jpg") pictureList.kif 4555-4555
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9142-9142 subclass BloodCell and AnimalAnatomicalStructure
(subclass BloodCell Cell) Mid-level-ontology.kif 9141-9141 subclass BloodCell and Cell

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


(subclass RedBloodCell BloodCell) Mid-level-ontology.kif 9151-9151 subclass RedBloodCell and BloodCell
(subclass WhiteBloodCell BloodCell) Mid-level-ontology.kif 9162-9162 subclass WhiteBloodCell and BloodCell
(termFormat ChineseLanguage BloodCell "血细胞") domainEnglishFormat.kif 11375-11375
(termFormat ChineseTraditionalLanguage BloodCell "血細胞") domainEnglishFormat.kif 11374-11374
(termFormat EnglishLanguage BloodCell "blood cell") domainEnglishFormat.kif 11373-11373

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


(=>
    (instance ?C BloodCell)
    (exists (?B)
        (and
            (instance ?B Blood)
            (part ?C ?B))))		 Mid-level-ontology.kif 9144-9149


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