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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Female
FemaleAmazon, 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。')

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

Merge.kif 18470-18471
s__instance(s__Female,s__SexAttribute)

Merge.kif 18469-18469

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


s__contraryAttribute_2(s__Male,s__Female)

Merge.kif 18482-18482
s__exhaustiveAttribute_3(s__SexAttribute,s__Female,s__Male)

Merge.kif 18464-18464
s__subAttribute(s__QueenConsort,s__Female)

Government.kif 1372-1372
s__subAttribute(s__QueenRegnant,s__Female)

Government.kif 1368-1368
s__termFormat(s__EnglishLanguage,s__Female,'female')

domainEnglishFormat.kif 4336-4336

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


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

Merge.kif 16676-16680
( ! [V__POLITY,V__AGENT,V__ELECTION] :
   ((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
   &
   s__attribute(V__AGENT,s__Female) &
   s__instance(V__ELECTION,s__Election))
=>
(~ s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT)))
)

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
No TPTP formula. May not be expressible in strict first order. People.kif 221-238
( ! [V__COW] :
   (s__instance(V__COW,s__FemaleCow) <=>
     (s__instance(V__COW,s__Cow) &
       s__attribute(V__COW,s__Female)))
   )

Mid-level-ontology.kif 17901-17905
( ! [V__H] :
   (s__instance(V__H,s__Hen) <=>
     (s__instance(V__H,s__Chicken) &
       s__attribute(V__H,s__Female)))
   )

Mid-level-ontology.kif 17918-17922
( ! [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 18474-18479
( ! [V__L,V__A] :
   ((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 21863-21869
( ! [V__H] :
   (s__attribute(V__H,s__Pregnant) =>
     s__attribute(V__H,s__Female))
   )

Mid-level-ontology.kif 17543-17545
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
( ! [V__CHILD,V__PARENT] :
   (s__daughter(V__CHILD,V__PARENT)
   =>
   s__attribute(V__CHILD,s__Female))
)

Merge.kif 16623-16625
( ! [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 10328-10332
( ! [V__MILK] :
   (s__instance(V__MILK,s__Milk) =>
     (? [V__PROCESS,V__MAMMAL] :
       (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 9301-9308
( ! [V__WOMAN] :
   (s__instance(V__WOMAN,s__Woman) =>
     s__attribute(V__WOMAN,s__Female))
   )

Merge.kif 14699-14701
( ! [V__CHILD,V__MOTHER] :
   (s__mother(V__CHILD,V__MOTHER)
   =>
   s__attribute(V__MOTHER,s__Female))
)

Merge.kif 16590-16592

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


No TPTP formula. May not be expressible in strict first order. People.kif 462-472


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