Woman - Sigma Knowledge base Browser

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	If a process is an instance of aborting and an entity is a patient of the process and the entity is an instance of woman, then pregnant is an attribute of the entity holds during the beginning of the time of existence of the process and pregnant is not an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20970-20974	If an organism is a parent of another organism and the other organism is an instance of woman, then the other organism is the daughter of the organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13650-13652	If an object is an instance of woman, then female is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5577-5581	If a wearable item is an instance of dress and an animal は % を wears %n{ない}, then the animal is an instance of woman
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 520-526	If a physical is an instance of abayah, then the physical purpose there exists an entity such that the entity is an instance of woman and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 489-495	If a physical is an instance of hijab, then the physical purpose there exists an entity such that the entity is an instance of woman and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 502-508	If a physical is an instance of jilbab, then the physical purpose there exists an entity such that the entity is an instance of woman and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 476-482	If a physical is an instance of khimar, then the physical purpose there exists an entity such that the entity is an instance of woman and the entity は % を wears %n{ない}
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 457-463	If a physical is an instance of niqab, then the physical purpose there exists an entity such that the entity is an instance of woman and the entity は % を wears %n{ない}

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