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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MultiGraph

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners