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

KB Term:  Term intersection
English Word: 

Sigma KEE - Woman
Woman
more pictures...

appearance as argument number 1
-------------------------


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

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


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

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


(partition Human Man Woman) Merge.kif 14957-14957
(domain sister 1 Woman) Merge.kif 16871-16871
(domain husband 2 Woman) Merge.kif 16931-16931
(domain wife 1 Woman) Merge.kif 16939-16939
(domain aunt 1 Woman) Mid-level-ontology.kif 25359-25359
(domain grandmother 2 Woman) Mid-level-ontology.kif 25411-25411
(domain niece 1 Woman) Mid-level-ontology.kif 25436-25436
(domain stepmother 2 Woman) Mid-level-ontology.kif 25483-25483
(domain WeekBeforeMenstruationFn 1 Woman) Medicine.kif 1499-1499
(connectedBodyPartTypes OvarianArtery AbdominalAorta Woman) arteries.kif 1498-1498
(connectedBodyPartTypes VaginalArtery InternalIliacArtery Woman) arteries.kif 1576-1576
(connectedBodyPartTypes PosteriorLabialBranchArtery InternalPudendalArtery Woman) arteries.kif 1611-1611
(connectedBodyPartTypes ArteryOfBulbOfVestibule InternalPudendalArtery Woman) arteries.kif 1626-1626
(connectedBodyPartTypes DorsalArteryOfClitoris InternalPudendalArtery Woman) arteries.kif 1636-1636
(connectedBodyPartTypes DeepArteryOfClitoris InternalPudendalArtery Woman) arteries.kif 1646-1646
(connectedBodyPartTypes UterineArtery InternalIliacArtery Woman) arteries.kif 1663-1663
(connectedBodyPartTypes VaginalArtery UterineArtery Woman) arteries.kif 1670-1670

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


(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))		 Merge.kif 14971-14973
(=>
    (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
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))		 Mid-level-ontology.kif 25351-25355

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


(=>
    (and
        (instance ?DRESS Dress)
        (wears ?PERSON ?DRESS))
    (instance ?PERSON Woman))		 Mid-level-ontology.kif 6391-6395
(=>
    (instance ?H Niqab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 469-475
(=>
    (instance ?H Khimar)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 488-494
(=>
    (instance ?H Hijab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 501-507
(=>
    (instance ?H Jilbab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 514-520
(=>
    (instance ?H Abayah)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 532-538


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