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 13648-13648
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 3289-3289
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 3288-3288
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3292-3292
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 843-843
No TPTP formula. May not be expressible in strict first order. Merge.kif 13647-13647 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 512-512 Girl is a subclass of woman
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63293-63293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63292-63292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63291-63291

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20978-20978 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 21031-21031 The number 2 argument of grandmother is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 15449-15449 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 21057-21057 The number 1 argument of niece is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 15388-15388 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 21105-21105 The number 2 argument of stepmother is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 15458-15458 The number 1 argument of wife is an instance of woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 13636-13636 Human is exhaustively partitioned into man and woman

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19164-19175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20970-20974
No TPTP formula. May not be expressible in strict first order. Merge.kif 13650-13652

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


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