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 14657-14657 | |
(externalImage Woman "http://articulatesoftware.com/SUMOpictures/people/ female/ woman_2/ woman_01.png") | pictureList.kif 843-843 | |
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/3/30/ Models_by_David_Shankbone.jpg") | pictureList.kif 3289-3289 | |
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/4/48/ Teens_in_G-string-bikinis.jpg") | pictureList.kif 3288-3288 | |
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/6/67/ Messe-17.JPG") | pictureList.kif 3290-3290 | |
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/92/ Sunbath.jpg") | pictureList.kif 3287-3287 | |
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/95/ Stepherrorwear114.jpg") | pictureList.kif 3291-3291 | |
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Symbol_venus.png") | pictureList.kif 3286-3286 | |
(subclass Woman Human) | Merge.kif 14656-14656 | Woman è una sottoclasse di Umano |
appearance as argument number 2 |
(subclass Girl Woman) | Mid-level-ontology.kif 362-362 | Girl è una sottoclasse di Woman |
(termFormat ChineseLanguage Woman "女人") | domainEnglishFormat.kif 63303-63303 | |
(termFormat ChineseTraditionalLanguage Woman "女人") | domainEnglishFormat.kif 63302-63302 | |
(termFormat EnglishLanguage Woman "woman") | domainEnglishFormat.kif 63301-63301 |
appearance as argument number 3 |
(domain WeekBeforeMenstruationFn 1 Woman) | Medicine.kif 1515-1515 | Il numero 1 argomenti di WeekBeforeMenstruationFn è un istanza di Woman |
(domain aunt 1 Woman) | Mid-level-ontology.kif 23041-23041 | Il numero 1 argomenti di aunt è un istanza di Woman |
(domain grandmother 2 Woman) | Mid-level-ontology.kif 23093-23093 | Il numero 2 argomenti di grandmother è un istanza di Woman |
(domain husband 2 Woman) | Merge.kif 16573-16573 | Il numero 2 argomenti di husband è un istanza di Woman |
(domain niece 1 Woman) | Mid-level-ontology.kif 23118-23118 | Il numero 1 argomenti di niece è un istanza di Woman |
(domain sister 1 Woman) | Merge.kif 16512-16512 | Il numero 1 argomenti di sister è un istanza di Woman |
(domain stepmother 2 Woman) | Mid-level-ontology.kif 23165-23165 | Il numero 2 argomenti di stepmother è un istanza di Woman |
(domain wife 1 Woman) | Merge.kif 16582-16582 | Il numero 1 argomenti di wife è un istanza di Woman |
(partition Human Man Woman) | Merge.kif 14645-14645 | Umano è esaustivamente partizionato in Man + 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 21495-21506 | |
(=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Woman)) (daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 23033-23037 | |
(=> (instance ?WOMAN Woman) (attribute ?WOMAN Female)) |
Merge.kif 14659-14661 |
consequent |