Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Female
Female(female)Amazon, earth_mother, egg-producing, fair_sex, female, femaleness, feminineness, giantess, hen, heroine, intact, inviolate, ogress, woman, womanhood, womankind, young-bearing

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4018-4018
No TPTP formula. May not be expressible in strict first order. Merge.kif 18286-18287
No TPTP formula. May not be expressible in strict first order. Merge.kif 18285-18285 Female is an instance of sex attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18297-18297 Male is the opposite of female
No TPTP formula. May not be expressible in strict first order. Merge.kif 18276-18276 Female are all the attributes of sex attribute
No TPTP formula. May not be expressible in strict first order. Government.kif 1374-1374 Queen consort is a subattribute of female
No TPTP formula. May not be expressible in strict first order. Government.kif 1370-1370 Queen regnant is a subattribute of female
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23495-23495 Queen regnant is a subattribute of female
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23494-23494 Queen regnant is a subattribute of female
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23493-23493 Queen regnant is a subattribute of female

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 206-221
No TPTP formula. May not be expressible in strict first order. Merge.kif 16653-16657
No TPTP formula. May not be expressible in strict first order. Government.kif 1229-1235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 358-363

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


No TPTP formula. May not be expressible in strict first order. People.kif 403-436 A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 206-223 The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21817-21821 An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21849-21853 An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14190-14194
No TPTP formula. May not be expressible in strict first order. Merge.kif 18289-18294
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25779-25785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25528-25535
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25582-25584
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21431-21433
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1251-1262
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1050-1058
No TPTP formula. May not be expressible in strict first order. Merge.kif 16604-16606
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25658-25665
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13978-13982
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12201-12208
No TPTP formula. May not be expressible in strict first order. Merge.kif 14797-14799
No TPTP formula. May not be expressible in strict first order. Merge.kif 16574-16576

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 456-469 A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string


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