Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


s__documentation(s__Woman,s__ChineseLanguage,'"这是 Female Human 的类别。"')

chinese_format.kif 3440-3440
s__documentation(s__Woman,s__EnglishLanguage,'"The class of Female Humans."')

Merge.kif 14005-14005
s__externalImage(s__Woman,'"http://upload.wikimedia.org/wikipedia/commons/3/30/ Models_by_David_Shankbone.jpg"')

pictureList.kif 3290-3290
s__externalImage(s__Woman,'"http://upload.wikimedia.org/wikipedia/commons/4/48/ Teens_in_G-string-bikinis.jpg"')

pictureList.kif 3289-3289
s__externalImage(s__Woman,'"http://upload.wikimedia.org/wikipedia/commons/6/67/ Messe-17.JPG"')

pictureList.kif 3291-3291
s__externalImage(s__Woman,'"http://upload.wikimedia.org/wikipedia/commons/9/92/ Sunbath.jpg"')

pictureList.kif 3288-3288
s__externalImage(s__Woman,'"http://upload.wikimedia.org/wikipedia/commons/9/95/ Stepherrorwear114.jpg"')

pictureList.kif 3292-3292
s__externalImage(s__Woman,'"http://upload.wikimedia.org/wikipedia/commons/e/ec/ Symbol_venus.png"')

pictureList.kif 3287-3287
s__externalImage(s__Woman,'"http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ female/ woman_2/ woman_01.png"')

pictureList.kif 843-843
s__subclass(s__Woman,s__Human)

s__instance(s__Woman,s__Class)

s__instance(s__Human,s__Class)

Merge.kif 14004-14004 Woman is a subclass of human

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


s__subclass(s__Girl,s__Woman)

s__instance(s__Girl,s__Class)

s__instance(s__Woman,s__Class)

Mid-level-ontology.kif 340-340 Girl is a subclass of woman
s__termFormat(s__ChineseLanguage,s__Woman,'"女人"')

domainEnglishFormat.kif 63270-63270
s__termFormat(s__ChineseTraditionalLanguage,s__Woman,'"女人"')

domainEnglishFormat.kif 63269-63269
s__termFormat(s__EnglishLanguage,s__Woman,'"woman"')

domainEnglishFormat.kif 63268-63268

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


s__domain(s__aunt__m,n__1,s__Woman)

Mid-level-ontology.kif 22132-22132 The number 1 argument of aunt is an instance of woman
s__domain(s__grandmother__m,n__2,s__Woman)

Mid-level-ontology.kif 22184-22184 The number 2 argument of grandmother is an instance of woman
s__domain(s__husband__m,n__2,s__Woman)

Merge.kif 15899-15899 The number 2 argument of husband is an instance of woman
s__domain(s__niece__m,n__1,s__Woman)

Mid-level-ontology.kif 22209-22209 The number 1 argument of niece is an instance of woman
s__domain(s__sister__m,n__1,s__Woman)

Merge.kif 15838-15838 The number 1 argument of sister is an instance of woman
s__domain(s__stepmother__m,n__2,s__Woman)

Mid-level-ontology.kif 22256-22256 The number 2 argument of stepmother is an instance of woman
s__domain(s__wife__m,n__1,s__Woman)

Merge.kif 15908-15908 The number 1 argument of wife is an instance of woman
s__partition__3(s__Human,s__Man,s__Woman)

Merge.kif 13993-13993 Human is exhaustively partitioned into man and woman

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20457-20468
( ! [V__CHILD,V__PARENT] :
   ((s__instance(V__PARENT,s__Organism) =>
       (((s__parent(V__CHILD,V__PARENT)
           &
           s__instance(V__CHILD,s__Woman))
         =>
         (s__daughter(V__CHILD,V__PARENT)))))
)
)

Mid-level-ontology.kif 22124-22128
( ! [V__WOMAN] :
   ((s__instance(V__WOMAN,s__Woman) =>
       (s__attribute(V__WOMAN,s__Female)))
     )
   )

Merge.kif 14007-14009

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


( ! [V__PERSON,V__DRESS] :
   ((s__instance(V__PERSON,s__Animal) =>
       (((s__instance(V__DRESS,s__Dress) &
             s__wears(V__PERSON,V__DRESS))
         =>
         (s__instance(V__PERSON,s__Woman)))))
   )
)

Mid-level-ontology.kif 4995-4999
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 520-526
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 489-495
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 502-508
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 476-482
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 457-463


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