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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Woman

Sigma KEE - Woman
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 14703-14703
(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 3288-3288
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/4/48/ Teens_in_G-string-bikinis.jpg") pictureList.kif 3287-3287
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/6/67/ Messe-17.JPG") pictureList.kif 3289-3289
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/92/ Sunbath.jpg") pictureList.kif 3286-3286
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/95/ Stepherrorwear114.jpg") pictureList.kif 3290-3290
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Symbol_venus.png") pictureList.kif 3285-3285
(subclass Woman Human) Merge.kif 14702-14702 Woman est une sous-classe de humain

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


(subclass Girl Woman) Mid-level-ontology.kif 355-355 Girl est une sous-classe de Woman
(termFormat ChineseLanguage Woman "女人") domainEnglishFormat.kif 63328-63328 Girl est une sous-classe de Woman
(termFormat ChineseTraditionalLanguage Woman "女人") domainEnglishFormat.kif 63327-63327 Girl est une sous-classe de Woman
(termFormat EnglishLanguage Woman "woman") domainEnglishFormat.kif 63326-63326 Girl est une sous-classe de Woman

appearance as argument number 3
-------------------------


(domain WeekBeforeMenstruationFn 1 Woman) Medicine.kif 1515-1515 Le nombre 1 argument de WeekBeforeMenstruationFn est une instance de Woman
(domain aunt 1 Woman) Mid-level-ontology.kif 23324-23324 Le nombre 1 argument de aunt est une instance de Woman
(domain grandmother 2 Woman) Mid-level-ontology.kif 23376-23376 Le nombre 2 argument de grandmother est une instance de Woman
(domain husband 2 Woman) Merge.kif 16644-16644 Le nombre 2 argument de husband est une instance de Woman
(domain niece 1 Woman) Mid-level-ontology.kif 23401-23401 Le nombre 1 argument de niece est une instance de Woman
(domain sister 1 Woman) Merge.kif 16583-16583 Le nombre 1 argument de sister est une instance de Woman
(domain stepmother 2 Woman) Mid-level-ontology.kif 23448-23448 Le nombre 2 argument de stepmother est une instance de Woman
(domain wife 1 Woman) Merge.kif 16653-16653 Le nombre 1 argument de wife est une instance de Woman
(partition Human Man Woman) Merge.kif 14691-14691 Humain est compl�tement d�compos� en 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 21753-21764
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 23316-23320
(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))
Merge.kif 14705-14707

consequent
-------------------------


(=>
    (and
        (instance ?DRESS Dress)
        (wears ?PERSON ?DRESS))
    (instance ?PERSON Woman))
Mid-level-ontology.kif 5290-5294
(=>
    (instance ?H Abayah)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 533-539
(=>
    (instance ?H Hijab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 502-508
(=>
    (instance ?H Jilbab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 515-521
(=>
    (instance ?H Khimar)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 489-495
(=>
    (instance ?H Niqab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 470-476


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 3.0 is open source software produced by Articulate Software and its partners