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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pregnant

Sigma KEE - Pregnant
Pregnant(pregnant)
more pictures...
pregnant

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


(documentation Pregnant EnglishLanguage "The Attribute that applies to Female Animals and Humans that have an embryo or fetus growing inside of them as the result of having one of the Female's Eggs fertilized.") Mid-level-ontology.kif 19840-19842
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Scan07semanas.png") pictureList.kif 7645-7645
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/3/ 30/ Expecting_mother.jpg") pictureList.kif 6790-6790
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Pregnancy_comparison.jpg") pictureList.kif 7643-7643
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ Scan20semanas1.png") pictureList.kif 7646-7646
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Scan13semanas1.png") pictureList.kif 7647-7647
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Pregnancy_26_weeks.jpg") pictureList.kif 7644-7644
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/c/ c4/ 10_weeks_pregnant.png") pictureList.kif 7648-7648
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ 40_weeks_pregnant.png") pictureList.kif 7649-7649
(instance Pregnant BiologicalAttribute) Mid-level-ontology.kif 19839-19839 Pregnant is an instance of biological attribute

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


(termFormat ChineseLanguage Pregnant "孕") domainEnglishFormat.kif 47186-47186
(termFormat ChineseTraditionalLanguage Pregnant "孕") domainEnglishFormat.kif 47185-47185
(termFormat EnglishLanguage Pregnant "pregnant") domainEnglishFormat.kif 47184-47184

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


(=>
    (attribute ?H Pregnant)
    (attribute ?H Female))
Mid-level-ontology.kif 19844-19846

consequent
-------------------------


(=>
    (and
        (instance ?A Aborting)
        (patient ?A ?W)
        (instance ?W Woman))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?A))
            (attribute ?W Pregnant))
        (holdsDuring
            (EndFn
                (WhenFn ?A))
            (not
                (attribute ?W Pregnant)))))
Mid-level-ontology.kif 21495-21506
(=>
    (holdsDuring ?T
        (attribute ?H DiabetesGestational))
    (holdsDuring ?T
        (attribute ?H Pregnant)))
Medicine.kif 2188-2192


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