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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Birth

Sigma KEE - Birth
Birth
Bradley_method, Bradley_method_of_childbirth, Lamaze_method, Lamaze_method_of_childbirth, Leboyer_method, Leboyer_method_of_childbirth, Nascimento, Nascita, Read_method, Read_method_of_childbirth, accouchement, active_birth, alternative_birth, alternative_birthing, be_born, birth, birthing, blessed_event, born, breech_birth, breech_delivery, breech_presentation, calve, calving, childbearing, childbirth, come_into_being, come_to_life, cradle, cub, cycle_of_rebirth, delivery, drop, fall, farrow, farrowing, fawn, foal, forceps_delivery, foreign-born, frank_breech, frank_breech_delivery, giving_birth, happy_event, hatch, hatched, hatching, have_young, janma, kapanganakan...

appearance as argument number 1
-------------------------


s__documentation(s__Birth,s__ChineseLanguage,'这是出生的 Process。')

Merge.kif 10192-10192
s__documentation(s__Birth,s__EnglishLanguage,'The Process of being born.')

Merge.kif 10191-10191
s__externalImage(s__Birth,'http://upload.wikimedia.org/wikipedia/commons/9/99/Postpartum_baby3.jpg')

pictureList.kif 5884-5884
s__subclass(s__Birth,s__OrganismProcess)

Merge.kif 10190-10190

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


s__relatedInternalConcept(s__BiologicalConception,s__Birth)

Mid-level-ontology.kif 21779-21779
s__termFormat(s__ChineseLanguage,s__Birth,'出生')

chinese_format.kif 1076-1076
s__termFormat(s__EnglishLanguage,s__Birth,'birth')

english_format.kif 763-763
s__termFormat(s__FrenchLanguage,s__Birth,'naissance')

french_format.kif 754-754
s__termFormat(s__Hindi,s__Birth,'janma')

terms-hindi.txt 286-286
s__termFormat(s__ItalianLanguage,s__Birth,'Nascita')

terms-it.txt 287-287
s__termFormat(s__PortugueseLanguage,s__Birth,'Nascimento')

portuguese_format.kif 706-706
s__termFormat(s__cb__m,s__Birth,'natawhan')

terms-cb.txt 291-291
s__termFormat(s__cz__m,s__Birth,'birth')

terms-cz.txt 325-325
s__termFormat(s__tg__m,s__Birth,'kapanganakan')

terms-tg.txt 290-290

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18577-18583
No TPTP formula. May not be expressible in strict first order. Merge.kif 18546-18552
( ∀ [V__BIRTH,V__AGENT]
   ((s__instance(V__BIRTH,s__Birth) ∧
       s__experiencer(V__BIRTH,V__AGENT))
   ⇒
   (∃ [V__DEATH]
     (s__instance(V__DEATH,s__Death) ∧
       s__experiencer(V__DEATH,V__AGENT))))
)

Merge.kif 10197-10204

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 104-117
No TPTP formula. May not be expressible in strict first order. People.kif 253-277
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 323-353
No TPTP formula. May not be expressible in strict first order. People.kif 367-398
( ∀ [V__P,V__D]
   (s__birthdate(V__P,V__D)
   ⇒
   (∃ [V__B]
     (s__instance(V__B,s__Birth) ∧
       s__experiencer(V__B,V__P)
     ∧
     s__date(V__B,V__D))))
)

Mid-level-ontology.kif 21943-21949
( ∀ [V__INDIV,V__PLACE]
   (s__birthplace(V__INDIV,V__PLACE)
   ⇒
   (∃ [V__BIRTH]
     (s__instance(V__BIRTH,s__Birth) ∧
       s__experiencer(V__BIRTH,V__INDIV)
     ∧
     s__eventLocated(V__BIRTH,V__PLACE))))
)

Mid-level-ontology.kif 21930-21936
( ∀ [V__BROOD]
   (s__instance(V__BROOD,s__Brood) ⇒
     (∃ [V__TIME]
       (∀ [V__MEMBER]
         (s__member(V__MEMBER,V__BROOD)
         ⇒
         (∃ [V__BIRTH]
           (s__instance(V__BIRTH,s__Birth) ∧
             s__experiencer(V__BIRTH,V__MEMBER)
           ∧
           (V__TIME = s__WhenFn(V__BIRTH))))))))
)

Mid-level-ontology.kif 7211-7221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5333-5338
( ∀ [V__ORGANISM]
   (s__instance(V__ORGANISM,s__Organism) ⇒
     (∃ [V__BIRTH]
       (s__instance(V__BIRTH,s__Birth) ∧
         s__experiencer(V__BIRTH,V__ORGANISM))))
)

Merge.kif 14342-14347

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