Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 14968-14968 Woman is a subclass of human
(documentation Woman EnglishLanguage "The class of Female Humans.") Merge.kif 14969-14969 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 345-345 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 14957-14957 Human is exhaustively partitioned into man and woman
(domain sister 1 Woman) Merge.kif 16871-16871 The number 1 argument of sister is an instance of woman
(domain husband 2 Woman) Merge.kif 16931-16931 The number 2 argument of husband is an instance of woman
(domain wife 1 Woman) Merge.kif 16939-16939 The number 1 argument of wife is an instance of woman
(domain aunt 1 Woman) Mid-level-ontology.kif 25359-25359 The number 1 argument of aunt is an instance of woman
(domain grandmother 2 Woman) Mid-level-ontology.kif 25411-25411 The number 2 argument of grandmother is an instance of woman
(domain niece 1 Woman) Mid-level-ontology.kif 25436-25436 The number 1 argument of niece is an instance of woman
(domain stepmother 2 Woman) Mid-level-ontology.kif 25483-25483 The number 2 argument of stepmother is an instance of woman
(domain WeekBeforeMenstruationFn 1 Woman) Medicine.kif 1499-1499 The number 1 argument of week before menstruation is an instance of woman
(connectedBodyPartTypes OvarianArtery AbdominalAorta Woman) arteries.kif 1498-1498 connected body parts ovarian artery, abdominal aorta and woman
(connectedBodyPartTypes VaginalArtery InternalIliacArtery Woman) arteries.kif 1576-1576 connected body parts vaginal artery, internal iliac artery and woman
(connectedBodyPartTypes PosteriorLabialBranchArtery InternalPudendalArtery Woman) arteries.kif 1611-1611 connected body parts posterior labial branch artery, internal pudendal artery and woman
(connectedBodyPartTypes ArteryOfBulbOfVestibule InternalPudendalArtery Woman) arteries.kif 1626-1626 connected body parts artery of bulb of vestibule, internal pudendal artery and woman
(connectedBodyPartTypes DorsalArteryOfClitoris InternalPudendalArtery Woman) arteries.kif 1636-1636 connected body parts dorsal artery of clitoris, internal pudendal artery and woman
(connectedBodyPartTypes DeepArteryOfClitoris InternalPudendalArtery Woman) arteries.kif 1646-1646 connected body parts deep artery of clitoris, internal pudendal artery and woman
(connectedBodyPartTypes UterineArtery InternalIliacArtery Woman) arteries.kif 1663-1663 connected body parts uterine artery, internal iliac artery and woman
(connectedBodyPartTypes VaginalArtery UterineArtery Woman) arteries.kif 1670-1670 connected body parts vaginal artery, uterine artery and woman

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


(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))		 Merge.kif 14971-14973 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 23679-23690 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 25351-25355 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 6391-6395 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 469-475 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 488-494 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 501-507 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 514-520 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 532-538 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners