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 and OrganismProcess
(subclass Birth Removing)	Mid-level-ontology.kif 24007-24007	子類 Birth and Removing

appearance as argument number 2

(relatedInternalConcept BiologicalConception Birth)	Mid-level-ontology.kif 24042-24042	相關的內部概念生物學概念 and Birth
(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	持有期間 TimeInterval and attribute AutonomousAgent and 胚胎例 Process and Birth 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent 暫時重疊 TimeInterval and TimeInterval
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 18203-18209	持有期間 TimeInterval and attribute AutonomousAgent and 幼蟲例 Process and Birth 等於 TimeInterval and 何時 Process 體驗者 Process and AutonomousAgent 短暫相遇 TimeInterval and TimeInterval
(=> (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	例 Process and Birth 起源 Process and Object Entity TimeInterval 例 Entity and Zygote 早期 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Entity and Object
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10219-10226	例 Process and Birth 體驗者 Process and AutonomousAgent Process 例 Process and Death 體驗者 Process and AutonomousAgent
(=> (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	例內容承載物理 and 出生證明例 Process and Birth 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and entity entity and entity entity 是 AutonomousAgent 的 birthdate 例 entity and Day entity 是 AutonomousAgent 的 birthplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name
(=> (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	例 Transfer and Birth Object TransferABY attribute Object and 女起源 Transfer and Object objectTransferred Transfer and TransferABY attribute TransferABY and 沒有完全形成

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	例年 and 年年EAR 等於 GeopoliticalArea 和年的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 男期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
(<=> (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	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 births and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
(<=> (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	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間少於 entity and 1 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 entityDEATHCOUNT and RealNumber and RealNumber
(<=> (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	例年 and 年 Integer 等於 GeopoliticalArea 和年的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human attribute entity and 女期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
(<=> (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	例年 and 年 Integer 等於 GeopoliticalArea 和年的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例列表長度 List and Integer ListITEM 在列表中 ListITEM and List 例 ListITEM and SymbolicString Entity 例 Entity and SymbolicString 在列表中 Entity and List 等於 Integer and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and entity 例 entity and Human 期間何時 entity and 年等於哪裡 entity and 何時 entity and GeopoliticalArea 例 entity and Death 體驗者 entity and entity 持有期間何時 entity and 年齡 entity and 測量 SymbolicString and 年持續時間 RealNumber 是 List 的 average
(=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D))))	Mid-level-ontology.kif 24269-24275	Day 是 Human 的 birthdate Process 例 Process and Birth 體驗者 Process and Human 日期 Process and Day
(=> (birthplace ?INDIV ?PLACE) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIV) (eventLocated ?BIRTH ?PLACE))))	Mid-level-ontology.kif 24255-24261	Object 是 Animal 的 birthplace Process 例 Process and Birth 體驗者 Process and Animal Process 是 located 在 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	例 Collection and 窩 TimeInterval AutonomousAgent 會員 AutonomousAgent and Collection Process 例 Process and Birth 體驗者 Process and AutonomousAgent 等於 TimeInterval and 何時 Process
(=> (instance ?NEST Nest) (hasPurpose ?NEST (exists (?BIRTH) (and (instance ?BIRTH Birth) (eventLocated ?BIRTH ?NEST)))))	Mid-level-ontology.kif 5030-5036	例 Physical and 巢有目的 Physical and entity 例 entity and Birth entity 是 located 在 Physical
(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))	Merge.kif 14383-14388	例 AutonomousAgent and Organism Process 例 Process and Birth 體驗者 Process and AutonomousAgent
(=> (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	例 Physical and 出生證明有目的 Physical and entity entity 例 entity and Birth 例 entity and Human 體驗者 entity and entity 代表 Physical and entity

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

例年 and 年 Integer 等於 GeopoliticalArea 和年每個女人生的 children and 基數卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女持有期間年 and 棲息 entity and GeopoliticalArea

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: