Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Woman Human) Merge.kif 14831-14831 Woman is a subclass of human
(documentation Woman EnglishLanguage "The class of Female Humans.") Merge.kif 14832-14832 Woman is a subclass of human
(externalImage Woman "http://articulatesoftware.com/SUMOpictures/people/ female/ woman_2/ woman_01.png") pictureList.kif 843-843 Woman is a subclass of human
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Symbol_venus.png") pictureList.kif 3285-3285 Woman is a subclass of human
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/92/ Sunbath.jpg") pictureList.kif 3286-3286 Woman is a subclass of human
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/4/48/ Teens_in_G_string_bikinis.jpg") pictureList.kif 3287-3287 Woman is a subclass of human
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/3/30/ Models_by_David_Shankbone.jpg") pictureList.kif 3288-3288 Woman is a subclass of human
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/6/67/ Messe-17.JPG") pictureList.kif 3289-3289 Woman is a subclass of human
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/95/ Stepherrorwear114.jpg") pictureList.kif 3290-3290 Woman is a subclass of human

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


(subclass Girl Woman) Mid-level-ontology.kif 358-358 Girl is a subclass of woman
(termFormat EnglishLanguage Woman "woman") domainEnglishFormat.kif 63304-63304 Girl is a subclass of woman
(termFormat ChineseTraditionalLanguage Woman "女人") domainEnglishFormat.kif 63305-63305 Girl is a subclass of woman
(termFormat ChineseLanguage Woman "女人") domainEnglishFormat.kif 63306-63306 Girl is a subclass of woman

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


(partition Human Man Woman) Merge.kif 14820-14820 Human is exhaustively partitioned into man and woman
(domain sister 1 Woman) Merge.kif 16712-16712 The number 1 argument of sister is an instance of woman
(domain husband 2 Woman) Merge.kif 16773-16773 The number 2 argument of husband is an instance of woman
(domain wife 1 Woman) Merge.kif 16782-16782 The number 1 argument of wife is an instance of woman
(domain aunt 1 Woman) Mid-level-ontology.kif 25419-25419 The number 1 argument of aunt is an instance of woman
(domain grandmother 2 Woman) Mid-level-ontology.kif 25471-25471 The number 2 argument of grandmother is an instance of woman
(domain niece 1 Woman) Mid-level-ontology.kif 25496-25496 The number 1 argument of niece is an instance of woman
(domain stepmother 2 Woman) Mid-level-ontology.kif 25543-25543 The number 2 argument of stepmother is an instance of woman
(domain WeekBeforeMenstruationFn 1 Woman) Medicine.kif 1495-1495 The number 1 argument of week before menstruation is an instance of woman

antecedent
-------------------------


(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))		 Merge.kif 14834-14836 If X is an instance of woman, then female is an attribute of X
(=>
    (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 23803-23814 If X is an instance of aborting, Y is a patient of X, and Y is an instance of woman, then pregnant is an attribute of Y holds during the beginning of the time of existence of X and pregnant is not an attribute of Y holds during the end of the time of existence of X
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))		 Mid-level-ontology.kif 25411-25415 If X is a parent of Y and Y is an instance of woman, then Y is the daughter of X

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


(=>
    (and
        (instance ?DRESS Dress)
        (wears ?PERSON ?DRESS))
    (instance ?PERSON Woman))		 Mid-level-ontology.kif 6251-6255 If X is an instance of dress and Y wears X, then Y is an instance of woman
(=>
    (instance ?H Niqab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 470-476 If X is an instance of niqab, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X
(=>
    (instance ?H Khimar)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 489-495 If X is an instance of khimar, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X
(=>
    (instance ?H Hijab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 502-508 If X is an instance of hijab, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X
(=>
    (instance ?H Jilbab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 515-521 If X is an instance of jilbab, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X
(=>
    (instance ?H Abayah)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 533-539 If X is an instance of abayah, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X


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