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

Formal Language: 


KB Term:  Term intersection
English Word: 

  BloodCell

Sigma KEE - BloodCell
BloodCell

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


(documentation BloodCell EnglishLanguage "A Cell that is normally present in Blood.") Mid-level-ontology.kif 11482-11482
(externalImage BloodCell "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Illu_blood_cell_lineage.jpg") pictureList.kif 4553-4553
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 11481-11481 BloodCellAnimalAnatomicalStructuresubclass では
(subclass BloodCell SomaticCell) Mid-level-ontology.kif 11480-11480 BloodCellSomaticCellsubclass では

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


(subclass Platelet BloodCell) Mid-level-ontology.kif 11503-11503 PlateletBloodCellsubclass では
(subclass RedBloodCell BloodCell) Mid-level-ontology.kif 11491-11491 RedBloodCellBloodCellsubclass では
(subclass WhiteBloodCell BloodCell) Mid-level-ontology.kif 11537-11537 WhiteBloodCellBloodCellsubclass では
(termFormat ChineseLanguage BloodCell "血细胞") domainEnglishFormat.kif 11372-11372 WhiteBloodCellBloodCellsubclass では
(termFormat ChineseTraditionalLanguage BloodCell "血細胞") domainEnglishFormat.kif 11371-11371 WhiteBloodCellBloodCellsubclass では
(termFormat EnglishLanguage BloodCell "blood cell") domainEnglishFormat.kif 11370-11370 WhiteBloodCellBloodCellsubclass では

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


(=>
    (instance ?BC BloodCell)
    (holdsDuring
        (BeginFn
            (WhenFn ?BC))
        (exists (?BM)
            (and
                (instance ?BM BoneMarrow)
                (located ?BC ?BM)))))
Medicine.kif 1203-1211
(=>
    (instance ?C BloodCell)
    (exists (?B)
        (and
            (instance ?B Blood)
            (part ?C ?B))))
Mid-level-ontology.kif 11484-11489


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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