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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Female

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 17854-17855
No TPTP formula. May not be expressible in strict first order. Merge.kif 17853-17853 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 17865-17865 Male is the opposite of female
No TPTP formula. May not be expressible in strict first order. Merge.kif 17849-17849 Female are all the attributes of sex attribute
No TPTP formula. May not be expressible in strict first order. Government.kif 1409-1409 QueenConsort is a subattribute of female
No TPTP formula. May not be expressible in strict first order. Government.kif 1405-1405 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 16224-16228
No TPTP formula. May not be expressible in strict first order. Government.kif 1264-1270
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 418-449 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 225-242 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 19549-19553 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 19563-19567 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 12324-12328
No TPTP formula. May not be expressible in strict first order. Merge.kif 17857-17862
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23570-23576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23344-23351
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23398-23400
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19191-19193
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1221-1232
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1020-1028
No TPTP formula. May not be expressible in strict first order. Merge.kif 16175-16177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23449-23456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12112-12116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10375-10382
No TPTP formula. May not be expressible in strict first order. Merge.kif 14398-14400
No TPTP formula. May not be expressible in strict first order. Merge.kif 16145-16147

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


No TPTP formula. May not be expressible in strict first order. People.kif 469-479 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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