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 14005-14005
(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 14004-14004 女人人类subclass

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


(subclass Girl Woman) Mid-level-ontology.kif 340-340 女孩女人subclass
(termFormat ChineseLanguage Woman "女人") domainEnglishFormat.kif 63270-63270
(termFormat ChineseTraditionalLanguage Woman "女人") domainEnglishFormat.kif 63269-63269
(termFormat EnglishLanguage Woman "woman") domainEnglishFormat.kif 63268-63268

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


(domain aunt 1 Woman) Mid-level-ontology.kif 22131-22131 姑妈 的 1 数量 是 女人instance
(domain grandmother 2 Woman) Mid-level-ontology.kif 22183-22183 祖母 的 2 数量 是 女人instance
(domain husband 2 Woman) Merge.kif 15899-15899 丈夫 的 2 数量 是 女人instance
(domain niece 1 Woman) Mid-level-ontology.kif 22208-22208 侄女 的 1 数量 是 女人instance
(domain sister 1 Woman) Merge.kif 15838-15838 妹妹 的 1 数量 是 女人instance
(domain stepmother 2 Woman) Mid-level-ontology.kif 22255-22255 后母 的 2 数量 是 女人instance
(domain wife 1 Woman) Merge.kif 15908-15908 妻子 的 1 数量 是 女人instance
(partition Human Man Woman) Merge.kif 13993-13993 人类 详尽无遗地 partition女人

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 20456-20467
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 22123-22127
(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))
Merge.kif 14007-14009

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


(=>
    (and
        (instance ?DRESS Dress)
        (wears ?PERSON ?DRESS))
    (instance ?PERSON Woman))
Mid-level-ontology.kif 4995-4999
(=>
    (instance ?H Abayah)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 520-526
(=>
    (instance ?H Hijab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 489-495
(=>
    (instance ?H Jilbab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 502-508
(=>
    (instance ?H Khimar)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 476-482
(=>
    (instance ?H Niqab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 457-463


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