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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3440-3440
No TPTP formula. May not be expressible in strict first order. Merge.kif 14810-14810
No TPTP formula. May not be expressible in strict first order. pictureList.kif 843-843
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3288-3288
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3287-3287
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3289-3289
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3286-3286
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3290-3290
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3285-3285
No TPTP formula. May not be expressible in strict first order. Merge.kif 14809-14809 Woman is a subclass of human

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 355-355 Girl is a subclass of woman
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63297-63297 Girl is a subclass of woman
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63296-63296 Girl is a subclass of woman
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63295-63295 Girl is a subclass of woman

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1508-1508 The number 1 argument of week before menstruation is an instance of woman
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24682-24682 The number 1 argument of aunt is an instance of woman
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24734-24734 The number 2 argument of grandmother is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16748-16748 The number 2 argument of husband is an instance of woman
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24759-24759 The number 1 argument of niece is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16687-16687 The number 1 argument of sister is an instance of woman
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24806-24806 The number 2 argument of stepmother is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16757-16757 The number 1 argument of wife is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 14798-14798 Human is exhaustively partitioned into man and woman

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23112-23123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24674-24678
No TPTP formula. May not be expressible in strict first order. Merge.kif 14812-14814

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6233-6237
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 533-539
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 515-521
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 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