Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Woman
Woman
more pictures...

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


(documentation Woman ChineseLanguage "这是 Female Human 的类别。") chinese_format.kif 3440-3440
(documentation Woman EnglishLanguage "The class of Female Humans.") Merge.kif 14810-14810
(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/3/30/ Models_by_David_Shankbone.jpg") pictureList.kif 3288-3288
(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/6/67/ Messe-17.JPG") pictureList.kif 3289-3289
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/92/ Sunbath.jpg") pictureList.kif 3286-3286
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/95/ Stepherrorwear114.jpg") pictureList.kif 3290-3290
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Symbol_venus.png") pictureList.kif 3285-3285
(subclass Woman Human) Merge.kif 14809-14809 Woman人[人間]subclass では

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


(subclass Girl Woman) Mid-level-ontology.kif 355-355 GirlWomansubclass では
(termFormat ChineseLanguage Woman "女人") domainEnglishFormat.kif 63297-63297 GirlWomansubclass では
(termFormat ChineseTraditionalLanguage Woman "女人") domainEnglishFormat.kif 63296-63296 GirlWomansubclass では
(termFormat EnglishLanguage Woman "woman") domainEnglishFormat.kif 63295-63295 GirlWomansubclass では

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


(domain WeekBeforeMenstruationFn 1 Woman) Medicine.kif 1508-1508 WeekBeforeMenstruationFn の数値 1 引数は Womaninstance では
(domain aunt 1 Woman) Mid-level-ontology.kif 24682-24682 aunt の数値 1 引数は Womaninstance では
(domain grandmother 2 Woman) Mid-level-ontology.kif 24734-24734 grandmother の数値 2 引数は Womaninstance では
(domain husband 2 Woman) Merge.kif 16748-16748 husband の数値 2 引数は Womaninstance では
(domain niece 1 Woman) Mid-level-ontology.kif 24759-24759 niece の数値 1 引数は Womaninstance では
(domain sister 1 Woman) Merge.kif 16687-16687 sister の数値 1 引数は Womaninstance では
(domain stepmother 2 Woman) Mid-level-ontology.kif 24806-24806 stepmother の数値 2 引数は Womaninstance では
(domain wife 1 Woman) Merge.kif 16757-16757 wife の数値 1 引数は Womaninstance では
(partition Human Man Woman) Merge.kif 14798-14798 人[人間]Man + Womanexhaustively partitioned

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


(=>
    (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 23112-23123
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?CHILD Woman))
    (daughter ?CHILD ?PARENT))
Mid-level-ontology.kif 24674-24678
(=>
    (instance ?WOMAN Woman)
    (attribute ?WOMAN Female))
Merge.kif 14812-14814

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


(=>
    (and
        (instance ?DRESS Dress)
        (wears ?PERSON ?DRESS))
    (instance ?PERSON Woman))
Mid-level-ontology.kif 6233-6237
(=>
    (instance ?H Abayah)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 533-539
(=>
    (instance ?H Hijab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 502-508
(=>
    (instance ?H Jilbab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 515-521
(=>
    (instance ?H Khimar)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 489-495
(=>
    (instance ?H Niqab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 470-476


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