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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Woman
Woman(woman)
more pictures...
Agnes_George_de_Mille, Agnes_Gonxha_Bojaxhiu, Agnes_de_Mille, Agrippina, Agrippina_the_Elder, Agrippina_the_Younger, Alcott, Alice-Josephine_Pons, Alice_Hamilton, Alicia_Alonso, Alla_Nazimova, Allen, Alonso, Althea_Gibson, Amelia_Earhart, Amy_Lowell, Amy_Lyon, Anna_Eleanor_Roosevelt, Anna_Howard_Shaw, Anna_Mary_Robertson_Moses, Anna_Pavlova, Anne_Boleyn, Anne_Bradstreet, Anne_Bronte, Anne_Dudley_Bradstreet, Anne_Hathaway, Anne_Hutchinson, Anne_Mansfield_Sullivan, Anne_Sexton, Anne_Sullivan, Annie_Oakley, Anthony, Antigone, Arendt, Astor, Austen, Bailey, Ball, Barbara_Hepworth, Barbara_Ward, Barbra_Joan_Streisand, Barbra_Streisand, Baroness_Jackson_of_Lodsworth, Baroness_Thatcher_of_Kesteven, Barrymore, Bathsheba, Beatrice, Beatrice_Lillie, Bell, Benedict...

appearance as argument number 1
-------------------------


(documentation Woman ChineseLanguage "这是 Female Human 的类别。") Merge.kif 14697-14697
(documentation Woman EnglishLanguage "The class of Female Humans.") Merge.kif 14696-14696
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/3/30/ Models_by_David_Shankbone.jpg") pictureList.kif 3290-3290 "http://upload.wikimedia.org/wikipedia/commons/3/30/ Models_by_David_Shankbone.jpg" is a URL depicting woman
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/4/48/ Teens_in_G-string-bikinis.jpg") pictureList.kif 3289-3289 "http://upload.wikimedia.org/wikipedia/commons/4/48/ Teens_in_G-string-bikinis.jpg" is a URL depicting woman
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/6/67/ Messe-17.JPG") pictureList.kif 3291-3291 "http://upload.wikimedia.org/wikipedia/commons/6/67/ Messe-17.JPG" is a URL depicting woman
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/92/ Sunbath.jpg") pictureList.kif 3288-3288 "http://upload.wikimedia.org/wikipedia/commons/9/92/ Sunbath.jpg" is a URL depicting woman
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/95/ Stepherrorwear114.jpg") pictureList.kif 3292-3292 "http://upload.wikimedia.org/wikipedia/commons/9/95/ Stepherrorwear114.jpg" is a URL depicting woman
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Symbol_venus.png") pictureList.kif 3287-3287 "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Symbol_venus.png" is a URL depicting woman
(externalImage Woman "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ female/ woman_2/ woman_01.png") pictureList.kif 843-843 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ female/ woman_2/ woman_01.png" is a URL depicting woman
(subclass Woman Human) Merge.kif 14695-14695 Woman is a subclass of human

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


(subclass Girl Woman) Mid-level-ontology.kif 513-513 Girl is a subclass of woman
(termFormat EnglishLanguage Woman "woman") domainEnglishFormat.kif 10976-10976 "woman" is the printable form of woman in english language

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


(domain aunt 1 Woman) Mid-level-ontology.kif 20903-20903 The number 1 argument of aunt is an instance of woman
(domain grandmother 2 Woman) Mid-level-ontology.kif 20956-20956 The number 2 argument of grandmother is an instance of woman
(domain husband 2 Woman) Merge.kif 16768-16768 The number 2 argument of husband is an instance of woman
(domain niece 1 Woman) Mid-level-ontology.kif 20982-20982 The number 1 argument of niece is an instance of woman
(domain sister 1 Woman) Merge.kif 16697-16697 The number 1 argument of sister is an instance of woman
(domain stepmother 2 Woman) Mid-level-ontology.kif 21030-21030 The number 2 argument of stepmother is an instance of woman
(domain wife 1 Woman) Merge.kif 16778-16778 The number 1 argument of wife is an instance of woman
(partition Human Man Woman) Merge.kif 14682-14682 Human is exhaustively partitioned into man and 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 19063-19074
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 20895-20899
(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))
Merge.kif 14699-14701

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


(=>
    (and
        (instance ?DRESS Dress)
        (wears ?PERSON ?DRESS))
    (instance ?PERSON Woman))
Mid-level-ontology.kif 5571-5575
(=>
    (instance ?H Abayah)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 518-524
(=>
    (instance ?H Hijab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 487-493
(=>
    (instance ?H Jilbab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 500-506
(=>
    (instance ?H Khimar)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 474-480
(=>
    (instance ?H Niqab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 455-461


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners