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 63288-63288 Girl is a subclass of woman
(termFormat ChineseTraditionalLanguage Woman "女人") domainEnglishFormat.kif 63289-63289 Girl is a subclass of woman
(termFormat ChineseLanguage Woman "女人") domainEnglishFormat.kif 63290-63290 Girl is a subclass of woman

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


(domain WeekBeforeMenstruationFn 1 Woman) Medicine.kif 1495-1495 The number 1 argument of week before menstruation is an instance of woman
(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 25401-25401 The number 1 argument of aunt is an instance of woman
(domain grandmother 2 Woman) Mid-level-ontology.kif 25453-25453 The number 2 argument of grandmother is an instance of woman
(domain niece 1 Woman) Mid-level-ontology.kif 25478-25478 The number 1 argument of niece is an instance of woman
(domain stepmother 2 Woman) Mid-level-ontology.kif 25525-25525 The number 2 argument of stepmother 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 23774-23785 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 25393-25397 If X is a parent of Y and Y is an instance of woman, then Y is the daughter of X

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


(=>
    (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
(=>
    (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


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