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 18114-18115
No TPTP formula. May not be expressible in strict first order. Merge.kif 18113-18113 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 18125-18125 Male is the opposite of female
No TPTP formula. May not be expressible in strict first order. Merge.kif 18105-18105 Female are all the attributes of sex attribute
No TPTP formula. May not be expressible in strict first order. Government.kif 1412-1412 Queen consort is a subattribute of female
No TPTP formula. May not be expressible in strict first order. Government.kif 1408-1408 Queen regnant is a subattribute of female
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23492-23492
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23491-23491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23490-23490

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 16493-16497
No TPTP formula. May not be expressible in strict first order. Government.kif 1267-1273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 365-370

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 20200-20204 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 20232-20236 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 12859-12863
No TPTP formula. May not be expressible in strict first order. Merge.kif 18117-18122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24131-24137
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23880-23887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23934-23936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19844-19846
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1243-1254
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1042-1050
No TPTP formula. May not be expressible in strict first order. Merge.kif 16444-16446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24010-24017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12647-12651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10870-10877
No TPTP formula. May not be expressible in strict first order. Merge.kif 14659-14661
No TPTP formula. May not be expressible in strict first order. Merge.kif 16414-16416

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