Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Pregnant(pregnant)
more pictures... |  | pregnant |
| appearance as argument number 1 |
|
|
| (instance Pregnant BiologicalAttribute) | Mid-level-ontology.kif 21757-21757 | Pregnant is an instance of biological attribute |
| (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 21758-21760 | Pregnant is an instance of biological attribute |
| (externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/3/ 30/ Expecting_mother.jpg") | pictureList.kif 6789-6789 | Pregnant is an instance of biological attribute |
| (externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Pregnancy_comparison.jpg") | pictureList.kif 7642-7642 | Pregnant is an instance of biological attribute |
| (externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/b/ b5/ Pregnancy_26_weeks.jpg") | pictureList.kif 7643-7643 | Pregnant is an instance of biological attribute |
| (externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/1/ 18/ Scan07semanas.png") | pictureList.kif 7644-7644 | Pregnant is an instance of biological attribute |
| (externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/7/ 73/ Scan20semanas1.png") | pictureList.kif 7645-7645 | Pregnant is an instance of biological attribute |
| (externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Scan13semanas1.png") | pictureList.kif 7646-7646 | Pregnant is an instance of biological attribute |
| (externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/c/ c4/ 10_weeks_pregnant.png") | pictureList.kif 7647-7647 | Pregnant is an instance of biological attribute |
| (externalImage Pregnant "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ 40_weeks_pregnant.png") | pictureList.kif 7648-7648 | Pregnant is an instance of biological attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?H Pregnant) (attribute ?H Female)) |
Mid-level-ontology.kif 21762-21764 | If pregnant is an attribute of X, then female is an attribute of X |
| 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 23679-23690 | If X is an instance of aborting, Y is a patient of X, and Y is an instance of woman, then pregnant is an attribute of Y holds during the beginning of the time of existence of X and pregnant is not an attribute of Y holds during the end of the time of existence of X |
| (=> (holdsDuring ?T (attribute ?H DiabetesGestational)) (holdsDuring ?T (attribute ?H Pregnant))) |
Medicine.kif 2194-2198 | If gestational diabetes is an attribute of X holds during Y, then pregnant is an attribute of X holds during Y |
|