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 14657-14657
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 3289-3289
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 3290-3290
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 3291-3291
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. Merge.kif 14656-14656 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 362-362 Girl is a subclass of woman
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63303-63303
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63302-63302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63301-63301

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1515-1515 The number 1 argument of WeekBeforeMenstruationFn is an instance of woman
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23041-23041 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 23093-23093 The number 2 argument of grandmother is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16573-16573 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 23118-23118 The number 1 argument of niece is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16512-16512 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 23165-23165 The number 2 argument of stepmother is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16582-16582 The number 1 argument of wife is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 14645-14645 Human is exhaustively partitioned into man and woman

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21495-21506
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23033-23037
No TPTP formula. May not be expressible in strict first order. Merge.kif 14659-14661

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5296-5300
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