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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pregnant

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

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


(termFormat EnglishLanguage Pregnant "pregnant") domainEnglishFormat.kif 8287-8287 termFormat EnglishLanguage, Pregnant and "pregnant"

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


(=>
    (attribute ?H Pregnant)
    (attribute ?H Female))
Mid-level-ontology.kif 17601-17603

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 19121-19132


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