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 16847-16848
No TPTP formula. May not be expressible in strict first order. Merge.kif 16846-16846 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 16858-16858 Male is the opposite of female
No TPTP formula. May not be expressible in strict first order. Merge.kif 16842-16842 Female are all the attributes of sex attribute
No TPTP formula. May not be expressible in strict first order. Government.kif 1398-1398 QueenConsort is a subattribute of female
No TPTP formula. May not be expressible in strict first order. Government.kif 1394-1394 QueenRegnant is a subattribute of female
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23481-23481
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23480-23480
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23479-23479

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15369-15373
No TPTP formula. May not be expressible in strict first order. Government.kif 1253-1259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 343-348

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 another 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 221-238 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 16713-16717 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 16727-16731 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 16850-16855
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20432-20438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16355-16357
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1208-1219
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1007-1015
No TPTP formula. May not be expressible in strict first order. Merge.kif 15320-15322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9480-9484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8441-8448
No TPTP formula. May not be expressible in strict first order. Merge.kif 13650-13652
No TPTP formula. May not be expressible in strict first order. Merge.kif 15290-15292

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 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