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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pregnant
Pregnant
more pictures...

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 17598-17600
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Scan07semanas.png") pictureList.kif 7647-7647
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/3/ 30/ Expecting_mother.jpg") pictureList.kif 6791-6791
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Pregnancy_comparison.jpg") pictureList.kif 7645-7645
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ Scan20semanas1.png") pictureList.kif 7648-7648
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Scan13semanas1.png") pictureList.kif 7649-7649
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Pregnancy_26_weeks.jpg") pictureList.kif 7646-7646
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/c/ c4/ 10_weeks_pregnant.png") pictureList.kif 7650-7650
(externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ 40_weeks_pregnant.png") pictureList.kif 7651-7651
(instance Pregnant BiologicalAttribute) Mid-level-ontology.kif 17597-17597

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


(termFormat ChineseLanguage Pregnant "孕") domainEnglishFormat.kif 47125-47125
(termFormat ChineseTraditionalLanguage Pregnant "孕") domainEnglishFormat.kif 47124-47124
(termFormat EnglishLanguage Pregnant "pregnant") domainEnglishFormat.kif 47123-47123

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


(=>
    (attribute ?H Pregnant)
    (attribute ?H Female))
Mid-level-ontology.kif 17602-17604

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 19122-19133


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners