TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Birth ChineseLanguage "这是出生的 Process。")	chinese_format.kif 2904-2904
(documentation Birth EnglishLanguage "The Process of being born.")	Merge.kif 10214-10214
(documentation Birth JapaneseLanguage "Process の誕生。")	japanese_format.kif 1653-1653
(externalImage Birth "http://upload.wikimedia.org/wikipedia/commons/9/99/ Postpartum_baby3.jpg")	pictureList.kif 5883-5883
(subclass Birth OrganismProcess)	Merge.kif 10212-10212	Birth ist eine teilkategorie von OrganismProcess
(subclass Birth Removing)	Mid-level-ontology.kif 24007-24007	Birth ist eine teilkategorie von Removing

appearance as argument number 2

(relatedInternalConcept BiologicalConception Birth)	Mid-level-ontology.kif 24042-24042	BiologicalConception ist innerlich verwandt mit Birth %n{nicht}
(termFormat ChineseLanguage Birth "出生")	chinese_format.kif 1076-1076
(termFormat EnglishLanguage Birth "birth")	english_format.kif 1363-1363
(termFormat FrenchLanguage Birth "naissance")	french_format.kif 754-754
(termFormat Hindi Birth "janma")	terms-hindi.txt 286-286
(termFormat ItalianLanguage Birth "Nascita")	terms-it.txt 289-289
(termFormat JapaneseLanguage Birth "出生")	japanese_format.kif 2438-2438
(termFormat PortugueseLanguage Birth "Nascimento")	portuguese_format.kif 706-706
(termFormat cb Birth "natawhan")	terms-cb.txt 291-291
(termFormat cz Birth "birth")	terms-cz.txt 325-325
(termFormat ro Birth "naºtere")	relations-ro.kif 775-775
(termFormat tg Birth "kapanganakan")	terms-tg.txt 290-290

antecedent

(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 18225-18231	Wenn Embryonic ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Process ist ein fall von Birth %n{nicht} und TimeInterval ist gleich die zeit des Bestehens von Process %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann TimeInterval deckt sich mit ** TimeInterval nicht
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 18203-18209	Wenn Larval ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Process ist ein fall von Birth %n{nicht} und TimeInterval ist gleich die zeit des Bestehens von Process %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann TimeInterval schliesst ** TimeInterval zeitlich an
(=> (and (instance ?B Birth) (origin ?B ?F)) (exists (?Z ?T) (and (instance ?Z Zygote) (earlier ?T (WhenFn ?B)) (holdsDuring ?T (located ?Z ?F)))))	Mid-level-ontology.kif 24018-24027	Wenn Process ist ein fall von Birth %n{nicht} und Process beginnet an Object %n{nicht}, dann es gibt Entity und TimeInterval um Entity ist ein fall von Zygote %n{nicht} und TimeInterval geschieht frueh als die zeit des Bestehens von Process %n{nicht} und Entity befindet sich an %n{nicht} haelt waehrend TimeInterval %n{nicht}
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10219-10226	Wenn Process ist ein fall von Birth %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann es gibt Process um Process ist ein fall von Death %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}
(=> (and (instance ?TEXT BirthCertificate) (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N) (and (birthdate ?A ?DAY) (instance ?DAY Day) (birthplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name)))))	Biography.kif 250-264	Wenn ContentBearingPhysical ist ein fall von BirthCertificate %n{nicht} und Process ist ein fall von Birth %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann containsFormula ContentBearingPhysical and es gibt entity, entity, and und entity um birthdate AutonomousAgent and entity und entity ist ein fall von Day %n{nicht} und birthplace AutonomousAgent and entity und entity ist ein fall von GeographicArea %n{nicht} und entity drueckt AutonomousAgent aus und entity ist ein fall von Name %n{nicht}
(=> (instance ?B Birth) (exists (?M ?BABY) (and (attribute ?M Female) (origin ?B ?M) (objectTransferred ?B ?BABY) (attribute ?BABY NonFullyFormed))))	Mid-level-ontology.kif 24009-24016	Wenn Transfer ist ein fall von Birth %n{nicht}, dann es gibt Object und TransferABY um Female ist ein attribut von Object %n{nicht} und Transfer beginnet an Object %n{nicht} und objectTransferred Transfer and TransferABY und NonFullyFormed ist ein attribut von ** TransferABY %n{nicht}

consequent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 357-390	Year ist ein fall von das jahr YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and RealNumber
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 82-97	Year ist ein fall von das jahr Integer %n{nicht} und BirthsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn GeopoliticalArea und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich ** RealNumber %n{nicht}
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 238-264	Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich RealNumber %n{nicht}
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 403-436	Year ist ein fall von das jahr Integer %n{nicht} und FemaleLifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and ** RealNumber
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 310-342	Year ist ein fall von das jahr Integer %n{nicht} und LifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and ** RealNumber
(=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D))))	Mid-level-ontology.kif 24269-24275	Wenn birthdate Human and Day, dann es gibt Process um Process ist ein fall von Birth %n{nicht} und Human erfaehrt Process %n{nicht} und datum von Process ist ** Day %n{nicht}
(=> (birthplace ?INDIV ?PLACE) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIV) (eventLocated ?BIRTH ?PLACE))))	Mid-level-ontology.kif 24255-24261	Wenn birthplace Animal and Object, dann es gibt Process um Process ist ein fall von Birth %n{nicht} und Animal erfaehrt Process %n{nicht} und eventLocated Process and ** Object
(=> (instance ?BROOD Brood) (exists (?TIME) (forall (?MEMBER) (=> (member ?MEMBER ?BROOD) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?MEMBER) (equal ?TIME (WhenFn ?BIRTH))))))))	Mid-level-ontology.kif 7501-7511	Wenn Collection ist ein fall von Brood %n{nicht}, dann es gibt TimeInterval um fuer alle AutonomousAgent wenn AutonomousAgent ist ein Mitglied von Collection %n{nicht}, dann es gibt Process um Process ist ein fall von Birth %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und TimeInterval ist gleich die zeit des Bestehens von ** Process %n{nicht}
(=> (instance ?NEST Nest) (hasPurpose ?NEST (exists (?BIRTH) (and (instance ?BIRTH Birth) (eventLocated ?BIRTH ?NEST)))))	Mid-level-ontology.kif 5030-5036	Wenn Physical ist ein fall von Nest %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Birth %n{nicht} und eventLocated entity and Physical %n{nicht}
(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))	Merge.kif 14383-14388	Wenn AutonomousAgent ist ein fall von Organism %n{nicht}, dann es gibt Process um Process ist ein fall von Birth %n{nicht} und AutonomousAgent erfaehrt ** Process %n{nicht}
(=> (instance ?TEXT BirthCertificate) (hasPurpose ?TEXT (exists (?B ?A) (and (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A) (represents ?TEXT ?B)))))	Biography.kif 240-248	Wenn Physical ist ein fall von BirthCertificate %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Birth %n{nicht} und entity ist ein fall von Human %n{nicht} und entity erfaehrt entity %n{nicht} und Physical drueckt entity aus %n{nicht}

statement

(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))

People.kif 456-469

Year ist ein fall von das jahr Integer %n{nicht} und ChildrenBornPerWomanFn GeopoliticalArea and ** Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}

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

KB Term:			Term intersection

English Word: