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

(documentation Woman ChineseLanguage "这是 Female Human 的类别。")	chinese_format.kif 3440-3440
(documentation Woman EnglishLanguage "The class of Female Humans.")	Merge.kif 14731-14731
(externalImage Woman "http://articulatesoftware.com/SUMOpictures/people/ female/ woman_2/ woman_01.png")	pictureList.kif 843-843
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/3/30/ Models_by_David_Shankbone.jpg")	pictureList.kif 3288-3288
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/4/48/ Teens_in_G_string_bikinis.jpg")	pictureList.kif 3287-3287
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/6/67/ Messe-17.JPG")	pictureList.kif 3289-3289
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/92/ Sunbath.jpg")	pictureList.kif 3286-3286
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/9/95/ Stepherrorwear114.jpg")	pictureList.kif 3290-3290
(externalImage Woman "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Symbol_venus.png")	pictureList.kif 3285-3285
(subclass Woman Human)	Merge.kif 14730-14730	Woman is a subclass of human

appearance as argument number 2

(subclass Girl Woman)	Mid-level-ontology.kif 355-355	Girl is a subclass of woman
(termFormat ChineseLanguage Woman "女人")	domainEnglishFormat.kif 63326-63326	Girl is a subclass of woman
(termFormat ChineseTraditionalLanguage Woman "女人")	domainEnglishFormat.kif 63325-63325	Girl is a subclass of woman
(termFormat EnglishLanguage Woman "woman")	domainEnglishFormat.kif 63324-63324	Girl is a subclass of woman

appearance as argument number 3

(domain WeekBeforeMenstruationFn 1 Woman)	Medicine.kif 1503-1503	The number 1 argument of WeekBeforeMenstruationFn is an instance of woman
(domain aunt 1 Woman)	Mid-level-ontology.kif 24155-24155	The number 1 argument of aunt is an instance of woman
(domain grandmother 2 Woman)	Mid-level-ontology.kif 24207-24207	The number 2 argument of grandmother is an instance of woman
(domain husband 2 Woman)	Merge.kif 16669-16669	The number 2 argument of husband is an instance of woman
(domain niece 1 Woman)	Mid-level-ontology.kif 24232-24232	The number 1 argument of niece is an instance of woman
(domain sister 1 Woman)	Merge.kif 16608-16608	The number 1 argument of sister is an instance of woman
(domain stepmother 2 Woman)	Mid-level-ontology.kif 24279-24279	The number 2 argument of stepmother is an instance of woman
(domain wife 1 Woman)	Merge.kif 16678-16678	The number 1 argument of wife is an instance of woman
(partition Human Man Woman)	Merge.kif 14719-14719	Human is exhaustively partitioned into man and woman

antecedent

(=> (and (instance ?A Aborting) (patient ?A ?W) (instance ?W Woman)) (and (holdsDuring (BeginFn (WhenFn ?A)) (attribute ?W Pregnant)) (holdsDuring (EndFn (WhenFn ?A)) (not (attribute ?W Pregnant)))))	Mid-level-ontology.kif 22584-22595	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
(=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Woman)) (daughter ?CHILD ?PARENT))	Mid-level-ontology.kif 24147-24151	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
(=> (instance ?WOMAN Woman) (attribute ?WOMAN Female))	Merge.kif 14733-14735	If an object is an instance of woman, then female is an attribute of the object

consequent

(=> (and (instance ?DRESS Dress) (wears ?PERSON ?DRESS)) (instance ?PERSON Woman))	Mid-level-ontology.kif 5845-5849	If a wearable item is an instance of dress and an animal wears the wearable item, then the animal is an instance of woman
(=> (instance ?H Abayah) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 533-539	If a physical is an instance of abayah, then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the physical
(=> (instance ?H Hijab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 502-508	If a physical is an instance of hijab, then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the physical
(=> (instance ?H Jilbab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 515-521	If a physical is an instance of jilbab, then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the physical
(=> (instance ?H Khimar) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 489-495	If a physical is an instance of khimar, then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the physical
(=> (instance ?H Niqab) (hasPurpose ?H (exists (?W) (and (instance ?W Woman) (wears ?W ?H)))))	ArabicCulture.kif 470-476	If a physical is an instance of niqab, then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the physical

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