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. Merge.kif 18386-18386
No TPTP formula. May not be expressible in strict first order. Merge.kif 18384-18385
No TPTP formula. May not be expressible in strict first order. Merge.kif 18383-18383 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 18396-18396 Male is the opposite of female
No TPTP formula. May not be expressible in strict first order. Merge.kif 18378-18378 Female are all the attributes of sex attribute
No TPTP formula. May not be expressible in strict first order. Government.kif 1372-1372 QueenConsort is a subattribute of female
No TPTP formula. May not be expressible in strict first order. Government.kif 1368-1368 QueenRegnant is a subattribute of female
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4336-4336 "female" is the printable form of female in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16590-16594
No TPTP formula. May not be expressible in strict first order. Government.kif 1228-1233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 517-522

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


No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number 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 221-238 The male to female ratio of a geopolitical area is equal to a real number if and only if a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by another organism and the number and the other number is equal to the real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17600-17604 An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17617-17621 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. Merge.kif 18388-18393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21502-21508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17242-17244
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1190-1201
No TPTP formula. May not be expressible in strict first order. Hotel.kif 995-1003
No TPTP formula. May not be expressible in strict first order. Merge.kif 16537-16539
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10316-10320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9289-9296
No TPTP formula. May not be expressible in strict first order. Merge.kif 14620-14622
No TPTP formula. May not be expressible in strict first order. Merge.kif 16508-16510

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


No TPTP formula. May not be expressible in strict first order. People.kif 462-472 The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by an agent


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners