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


s__documentation(s__Female,s__ChineseLanguage,'"这是表示一个 Organism 天生是雌性的 Attribute。"')

chinese_format.kif 4018-4018
s__documentation(s__Female,s__EnglishLanguage,'"An Attribute indicating that an Organism is female in nature."')

Merge.kif 17406-17407
s__instance(s__Female,s__SexAttribute)

s__instance(s__SexAttribute,s__Class)

Merge.kif 17405-17405 Female is an instance of sex attribute

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


s__contraryAttribute__2(s__Male,s__Female)

Merge.kif 17417-17417 Male is the opposite of female
s__exhaustiveAttribute__3(s__SexAttribute,s__Female,s__Male)

Merge.kif 17401-17401 Female are all the attributes of sex attribute
s__subAttribute(s__QueenConsort,s__Female)

Government.kif 1398-1398 QueenConsort is a subattribute of female
s__subAttribute(s__QueenRegnant,s__Female)

Government.kif 1394-1394 QueenRegnant is a subattribute of female
s__termFormat(s__ChineseLanguage,s__Female,'"女"')

domainEnglishFormat.kif 23481-23481
s__termFormat(s__ChineseTraditionalLanguage,s__Female,'"女"')

domainEnglishFormat.kif 23480-23480
s__termFormat(s__EnglishLanguage,s__Female,'"female"')

domainEnglishFormat.kif 23479-23479

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


( ! [V__CHILD,V__PARENT] :
   (((s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       (((s__parent(V__CHILD,V__PARENT)
           &
           s__attribute(V__PARENT,s__Female))
         =>
         (s__mother(V__CHILD,V__PARENT)))))
)
)

Merge.kif 15834-15838
( ! [V__AGENT,V__AREA,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__AREA,s__GeopoliticalArea))
       =>
       (((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__AREA))
         &
         s__attribute(V__AGENT,s__Female) &
         s__member(V__AGENT,s__ResidentFn(V__AREA))
     &
     s__instance(V__ELECTION,s__Election))
   =>
   (~(s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT))))))
)
)

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 415-446 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
( ! [V__COW] :
   (((s__instance(V__COW,s__FemaleCow) =>
         (s__instance(V__COW,s__Cow) &
           s__attribute(V__COW,s__Female)))
       &
       ((s__instance(V__COW,s__Cow) &
           s__attribute(V__COW,s__Female))
         =>
         s__instance(V__COW,s__FemaleCow)))
     )
   )

Mid-level-ontology.kif 19380-19384 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
( ! [V__H] :
   (((s__instance(V__H,s__Hen) =>
         (s__instance(V__H,s__Chicken) &
           s__attribute(V__H,s__Female)))
       &
       ((s__instance(V__H,s__Chicken) &
           s__attribute(V__H,s__Female))
         =>
         s__instance(V__H,s__Hen)))
     )
   )

Mid-level-ontology.kif 19394-19398 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
( ! [V__B,V__H] :
   ((s__instance(V__H,s__Object) =>
       (((s__instance(V__B,s__Breast) &
             s__part(V__B,V__H))
         =>
         (s__attribute(V__B,s__Female)))))
   )
)

Mid-level-ontology.kif 12191-12195
( ! [V__BODY,V__ORG] :
   (((s__instance(V__BODY,s__ReproductiveBody) &
         s__part(V__BODY,V__ORG)
       &
       s__instance(V__ORG,s__Organism))
     =>
     (s__attribute(V__ORG,s__Female)))
   )
)

Merge.kif 17409-17414
( ! [V__A,V__L] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__L,s__LayingEggs) &
             s__experiencer(V__L,V__A))
         =>
         ((s__instance(V__A,s__Animal) &
             s__attribute(V__A,s__Female))))))
   )
)

Mid-level-ontology.kif 23400-23406
( ! [V__F,V__M] :
   ((s__instance(V__F,s__Agent) =>
       (((s__instance(V__M,s__Menstruation) &
             s__experiencer(V__M,V__F))
         =>
         ((s__attribute(V__F,s__Female) &
             ~(s__attribute(V__F,s__Menopausal)))))))
   )
)

Mid-level-ontology.kif 23174-23181
( ! [V__F] :
   ((s__instance(V__F,s__Object) =>
       ((s__attribute(V__F,s__Menopausal) =>
           (s__attribute(V__F,s__Female)))))
     )
   )

Mid-level-ontology.kif 23228-23230
( ! [V__H] :
   ((s__instance(V__H,s__Object) =>
       ((s__attribute(V__H,s__Pregnant) =>
           (s__attribute(V__H,s__Female)))))
     )
   )

Mid-level-ontology.kif 19022-19024
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
( ! [V__CHILD,V__PARENT] :
   (((s__instance(V__CHILD,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       ((s__daughter(V__CHILD,V__PARENT)
         =>
         (s__attribute(V__CHILD,s__Female)))))
   )
)

Merge.kif 15785-15787
( ! [V__B] :
   ((s__instance(V__B,s__Birth) =>
       (( ? [V__M, V__BABY] :
           ((s__instance(V__M,s__Object) &
               s__instance(V__BABY,s__Object) &
               (s__attribute(V__M,s__Female) &
                 s__origin(V__B,V__M)
               &
               s__objectTransferred(V__B,V__BABY)
             &
             s__attribute(V__BABY,s__NonFullyFormed)))))))
)
)

Mid-level-ontology.kif 23279-23286
( ! [V__INSECT] :
   ((s__instance(V__INSECT,s__QueenInsect) =>
       ((s__attribute(V__INSECT,s__Female) &
           s__capability(s__Replication,s__agent__m,V__INSECT))))
   )
)

Mid-level-ontology.kif 11979-11983
( ! [V__MILK] :
   ((s__instance(V__MILK,s__Milk) =>
       (( ? [V__PROCESS, V__MAMMAL] :
           ((s__instance(V__PROCESS,s__Process) &
               (s__instance(V__MAMMAL,s__Mammal) &
                 s__attribute(V__MAMMAL,s__Female) &
                 s__instrument(V__PROCESS,V__MAMMAL)
               &
               s__result(V__PROCESS,V__MILK)))))))
)
)

Mid-level-ontology.kif 10243-10250
( ! [V__WOMAN] :
   ((s__instance(V__WOMAN,s__Woman) =>
       (s__attribute(V__WOMAN,s__Female)))
     )
   )

Merge.kif 14019-14021
( ! [V__MOTHER,V__CHILD] :
   (((s__instance(V__MOTHER,s__Organism) &
         s__instance(V__CHILD,s__Organism))
       =>
       ((s__mother(V__CHILD,V__MOTHER)
         =>
         (s__attribute(V__MOTHER,s__Female)))))
   )
)

Merge.kif 15755-15757

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


No TPTP formula. May not be expressible in strict first order. People.kif 466-476 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