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 的类别。") chinese_format.kif 3440-3440
(documentation Woman EnglishLanguage "The class of Female Humans.") Merge.kif 13963-13963
(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 13962-13962 Woman is a subclass of human

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


(subclass Girl Woman) Mid-level-ontology.kif 340-340 Girl is a subclass of woman
(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 21782-21782 The number 1 argument of aunt is an instance of woman
(domain grandmother 2 Woman) Mid-level-ontology.kif 21834-21834 The number 2 argument of grandmother is an instance of woman
(domain husband 2 Woman) Merge.kif 15797-15797 The number 2 argument of husband is an instance of woman
(domain niece 1 Woman) Mid-level-ontology.kif 21859-21859 The number 1 argument of niece is an instance of woman
(domain sister 1 Woman) Merge.kif 15736-15736 The number 1 argument of sister is an instance of woman
(domain stepmother 2 Woman) Mid-level-ontology.kif 21906-21906 The number 2 argument of stepmother is an instance of woman
(domain wife 1 Woman) Merge.kif 15806-15806 The number 1 argument of wife is an instance of woman
(partition Human Man Woman) Merge.kif 13951-13951 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 20107-20118
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 21774-21778
(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))
Merge.kif 13965-13967

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


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