more pictures...
| Woman
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Woman ChineseLanguage "这是 Female Human 的类别。") | chinese_format.kif 3440-3440 | |
| (documentation Woman EnglishLanguage "The class of Female Humans.") | Merge.kif 13613-13613 | |
| (externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/3/30/ Models_by_David_Shankbone.jpg") | pictureList.kif 3290-3290 | |
| (externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/4/48/ Teens_in_G-string-bikinis.jpg") | pictureList.kif 3289-3289 | |
| (externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/6/67/ Messe-17.JPG") | pictureList.kif 3291-3291 | |
| (externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/92/ Sunbath.jpg") | pictureList.kif 3288-3288 | |
| (externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/95/ Stepherrorwear114.jpg") | pictureList.kif 3292-3292 | |
| (externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Symbol_venus.png") | pictureList.kif 3287-3287 | |
| (externalImage Woman "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ female/ woman_2/ woman_01.png") | pictureList.kif 843-843 | |
| (subclass Woman Human) | Merge.kif 13612-13612 | subclass Woman and Human |
| appearance as argument number 2 |
|
|
| (subclass Girl Woman) | Mid-level-ontology.kif 512-512 | subclass Girl and Woman |
| (termFormat ChineseLanguage Woman "女人") | domainEnglishFormat.kif 63217-63217 | |
| (termFormat ChineseTraditionalLanguage Woman "女人") | domainEnglishFormat.kif 63216-63216 | |
| (termFormat EnglishLanguage Woman "woman") | domainEnglishFormat.kif 63215-63215 |
| appearance as argument number 3 |
|
|
| (domain aunt 1 Woman) | Mid-level-ontology.kif 20972-20972 | domain aunt, 1 and Woman |
| (domain grandmother 2 Woman) | Mid-level-ontology.kif 21025-21025 | domain grandmother, 2 and Woman |
| (domain husband 2 Woman) | Merge.kif 15401-15401 | domain husband, 2 and Woman |
| (domain niece 1 Woman) | Mid-level-ontology.kif 21051-21051 | domain niece, 1 and Woman |
| (domain sister 1 Woman) | Merge.kif 15341-15341 | domain sister, 1 and Woman |
| (domain stepmother 2 Woman) | Mid-level-ontology.kif 21099-21099 | domain stepmother, 2 and Woman |
| (domain wife 1 Woman) | Merge.kif 15409-15409 | domain wife, 1 and Woman |
| (partition Human Man Woman) | Merge.kif 13601-13601 | partition Human, Man and Woman |
| antecedent |
|
|
| (=> (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 19158-19169 | |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Woman)) (daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 20964-20968 | |
| (=> (instance ?WOMAN Woman) (attribute ?WOMAN Female)) |
Merge.kif 13615-13617 |
| consequent |
|
|
| (=> (and (instance ?DRESS Dress) (wears ?PERSON ?DRESS)) (instance ?PERSON Woman)) |
Mid-level-ontology.kif 5577-5581 |
|
| (=> (instance ?H Abayah) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 518-524 | |
| (=> (instance ?H Hijab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 487-493 | |
| (=> (instance ?H Jilbab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 500-506 | |
| (=> (instance ?H Khimar) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 474-480 | |
| (=> (instance ?H Niqab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H))))) |
ArabicCulture.kif 455-461 |
|
|
|