Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  totalBalance

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners