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 14627-14627
(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 14626-14626 子類 女人 and Human

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


(subclass Girl Woman) Mid-level-ontology.kif 362-362 子類 女孩 and 女人
(termFormat ChineseLanguage Woman "女人") domainEnglishFormat.kif 63315-63315
(termFormat ChineseTraditionalLanguage Woman "女人") domainEnglishFormat.kif 63314-63314
(termFormat EnglishLanguage Woman "woman") domainEnglishFormat.kif 63313-63313

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


(domain WeekBeforeMenstruationFn 1 Woman) Medicine.kif 1515-1515 WeekBeforeMenstruationFn, 1 and 女人
(domain aunt 1 Woman) Mid-level-ontology.kif 22992-22992 姑媽, 1 and 女人
(domain grandmother 2 Woman) Mid-level-ontology.kif 23044-23044 祖母, 2 and 女人
(domain husband 2 Woman) Merge.kif 16543-16543 丈夫, 2 and 女人
(domain niece 1 Woman) Mid-level-ontology.kif 23069-23069 侄女, 1 and 女人
(domain sister 1 Woman) Merge.kif 16482-16482 妹妹, 1 and 女人
(domain stepmother 2 Woman) Mid-level-ontology.kif 23116-23116 後母, 2 and 女人
(domain wife 1 Woman) Merge.kif 16552-16552 妻子, 1 and 女人
(partition Human Man Woman) Merge.kif 14615-14615 劃分 Human, and 女人

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 21441-21452
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 22984-22988
(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))
Merge.kif 14629-14631

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


(=>
    (and
        (instance ?DRESS Dress)
        (wears ?PERSON ?DRESS))
    (instance ?PERSON Woman))
Mid-level-ontology.kif 5268-5272
(=>
    (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