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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14731-14731
(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 14730-14730

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


(subclass Girl Woman) Mid-level-ontology.kif 355-355
(termFormat ChineseLanguage Woman "女人") domainEnglishFormat.kif 63326-63326
(termFormat ChineseTraditionalLanguage Woman "女人") domainEnglishFormat.kif 63325-63325
(termFormat EnglishLanguage Woman "woman") domainEnglishFormat.kif 63324-63324

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


(domain WeekBeforeMenstruationFn 1 Woman) Medicine.kif 1503-1503
(domain aunt 1 Woman) Mid-level-ontology.kif 24155-24155
(domain grandmother 2 Woman) Mid-level-ontology.kif 24207-24207
(domain husband 2 Woman) Merge.kif 16669-16669
(domain niece 1 Woman) Mid-level-ontology.kif 24232-24232
(domain sister 1 Woman) Merge.kif 16608-16608
(domain stepmother 2 Woman) Mid-level-ontology.kif 24279-24279
(domain wife 1 Woman) Merge.kif 16678-16678
(partition Human Man Woman) Merge.kif 14719-14719

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 22584-22595
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 24147-24151
(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))
Merge.kif 14733-14735

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


(=>
    (and
        (instance ?DRESS Dress)
        (wears ?PERSON ?DRESS))
    (instance ?PERSON Woman))
Mid-level-ontology.kif 5845-5849
(=>
    (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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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