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

Formal Language: 


KB Term:  Term intersection
English Word: 

  TropicalFruit

 Sigma KEE - Human
Human(Mensch)
more pictures...

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


(documentation Human ChineseLanguage "这是现代人，人属唯一剩下的品种。") chinese_format.kif 3438-3438
(documentation Human EnglishLanguage "Modern man, the only remaining species of the Homo genus.") Merge.kif 14799-14800
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/0/03/ Skydiving_4_way.jpg") pictureList-ImageNet.kif 259-259
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/2/22/ Da_Vinci_Vitruve_Luc_Viatour.jpg") pictureList.kif 3116-3116
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/4/42/ Skeleton_diagram.svg") pictureList.kif 3115-3115
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bd/ Jan_Vermeer_van_Delft_009.jpg/ 280px_Jan_Vermeer_van_Delft_009.jpg") pictureList-ImageNet.kif 257-257
(externalImage Human "http://upload.wikimedia.org/wikipedia/pl/thumb/6/69/ Gazolina_zloga.jpg/ 250px_Gazolina_zloga.jpg") pictureList-ImageNet.kif 258-258
(partition Human Man Woman) Merge.kif 14798-14798 Mensch wird vollstaendig in Man und Woman verteilt
(subclass Human CognitiveAgent) Merge.kif 14797-14797 Mensch ist eine teilkategorie von kognitiver Agent
(subclass Human Hominid) Merge.kif 14796-14796 Mensch ist eine teilkategorie von Hominid

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


(biologicalAgentCarrier BordetellaPertussis Human) WMD.kif 1586-1586 biologicalAgentCarrier BordetellaPertussis and Mensch
(disjoint DomesticAnimal Human) Mid-level-ontology.kif 21605-21605 DomesticAnimal ist dijunkt von Mensch
(disjoint Organization Human) Media.kif 35-35 Organisation ist dijunkt von Mensch
(initialPart VocalCords Human) Mid-level-ontology.kif 786-786 initialPart VocalCords and Mensch
(initiallyContainsPart Brain Human) Mid-level-ontology.kif 25338-25338 initiallyContainsPart Brain and Mensch
(initiallyContainsPart Heart Human) Mid-level-ontology.kif 25339-25339 initiallyContainsPart Heart and Mensch
(instance SteveJobsOfApple Human) ComputingBrands.kif 2447-2447 SteveJobsOfApple ist ein fall von Mensch
(instance SteveWozniakOfApple Human) ComputingBrands.kif 2459-2459 SteveWozniakOfApple ist ein fall von Mensch
(instance TimCookOfApple Human) ComputingBrands.kif 2435-2435 TimCookOfApple ist ein fall von Mensch
(subclass HumanAdult Human) Mid-level-ontology.kif 178-178 HumanAdult ist eine teilkategorie von Mensch
(subclass HumanYouth Human) Mid-level-ontology.kif 241-241 HumanYouth ist eine teilkategorie von Mensch
(subclass Man Human) Merge.kif 14802-14802 Man ist eine teilkategorie von Mensch
(subclass Teenager Human) Mid-level-ontology.kif 313-313 Teenager ist eine teilkategorie von Mensch
(subclass Woman Human) Merge.kif 14809-14809 Woman ist eine teilkategorie von Mensch
(termFormat ChineseLanguage Human "人类") chinese_format.kif 1002-1002 Woman ist eine teilkategorie von Mensch
(termFormat EnglishLanguage Human "human") english_format.kif 1216-1216 Woman ist eine teilkategorie von Mensch
(termFormat FrenchLanguage Human "humain") french_format.kif 679-679 Woman ist eine teilkategorie von Mensch
(termFormat Hindi Human "maanava") terms-hindi.txt 210-210 Woman ist eine teilkategorie von Mensch
(termFormat ItalianLanguage Human "Umano") terms-it.txt 213-213 Woman ist eine teilkategorie von Mensch
(termFormat JapaneseLanguage Human "人［人間］") japanese_format.kif 2363-2363 Woman ist eine teilkategorie von Mensch
(termFormat PortugueseLanguage Human "Humano") portuguese_format.kif 631-631 Woman ist eine teilkategorie von Mensch
(termFormat cb Human "tawo") terms-cb.txt 215-215 Woman ist eine teilkategorie von Mensch
(termFormat cz Human "human") terms-cz.txt 247-247 Woman ist eine teilkategorie von Mensch
(termFormat de Human "Mensch") terms-de.txt 506-506 Woman ist eine teilkategorie von Mensch

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(connectedBodyPartTypes AbdominalAorta ThoracicAorta Human) arteries.kif 1280-1280 connectedBodyPartTypes AbdominalAorta, ThoracicAorta and Mensch
(connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve InferiorGlutealArtery Human) arteries.kif 1658-1658 connectedBodyPartTypes AccompanyingArteryOfIschiadicNerve, InferiorGlutealArtery and Mensch
(connectedBodyPartTypes AcromialArtery ThoracoacromialArtery Human) arteries.kif 986-986 connectedBodyPartTypes AcromialArtery, ThoracoacromialArtery and Mensch
(connectedBodyPartTypes AfferentArteriole InterlobularArtery Human) arteries.kif 1465-1465 connectedBodyPartTypes AfferentArteriole, InterlobularArtery and Mensch
(connectedBodyPartTypes AnteriorEthmoidalArtery AnteriorMeningealArtery Human) arteries.kif 252-252 connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorMeningealArtery and Mensch
(connectedBodyPartTypes AnteriorEthmoidalArtery AnteriorNasalArteryBranch Human) arteries.kif 257-257 connectedBodyPartTypes AnteriorEthmoidalArtery, AnteriorNasalArteryBranch and Mensch
(connectedBodyPartTypes AnteriorEthmoidalArtery InferiorPalpebralArchArtery Human) arteries.kif 267-267 connectedBodyPartTypes AnteriorEthmoidalArtery, InferiorPalpebralArchArtery and Mensch
(connectedBodyPartTypes AnteriorEthmoidalArtery SuperiorPalpebralArchArtery Human) arteries.kif 262-262 connectedBodyPartTypes AnteriorEthmoidalArtery, SuperiorPalpebralArchArtery and Mensch
(connectedBodyPartTypes AnteriorHumeralCircumflexArtery AxillaryArtery Human) arteries.kif 1016-1016 connectedBodyPartTypes AnteriorHumeralCircumflexArtery, AxillaryArtery and Mensch
(connectedBodyPartTypes AnteriorInferiorCerebellarArtery BasilarArtery Human) arteries.kif 820-820 connectedBodyPartTypes AnteriorInferiorCerebellarArtery, BasilarArtery and Mensch
(connectedBodyPartTypes AnteriorInterosseousArtery UlnarArtery Human) arteries.kif 1169-1169 connectedBodyPartTypes AnteriorInterosseousArtery, UlnarArtery and Mensch
(connectedBodyPartTypes AnteriorInterventricularArtery AnteriorInterventricularDiagonalArtery Human) arteries.kif 79-79 connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularDiagonalArtery and Mensch
(connectedBodyPartTypes AnteriorInterventricularArtery AnteriorInterventricularSeptalArtery Human) arteries.kif 73-73 connectedBodyPartTypes AnteriorInterventricularArtery, AnteriorInterventricularSeptalArtery and Mensch
(connectedBodyPartTypes AnteriorLateralMalleolarArtery AnteriorTibialArtery Human) arteries.kif 1885-1885 connectedBodyPartTypes AnteriorLateralMalleolarArtery, AnteriorTibialArtery and Mensch
(connectedBodyPartTypes AnteriorMedialMalleolarArtery AnteriorTibialArtery Human) arteries.kif 1880-1880 connectedBodyPartTypes AnteriorMedialMalleolarArtery, AnteriorTibialArtery and Mensch
(connectedBodyPartTypes AnteriorSpinalArtery VertebralArtery Human) arteries.kif 795-795 connectedBodyPartTypes AnteriorSpinalArtery, VertebralArtery and Mensch
(connectedBodyPartTypes AnteriorTibialArtery PoplitealArtery Human) arteries.kif 1863-1863 connectedBodyPartTypes AnteriorTibialArtery, PoplitealArtery and Mensch
(connectedBodyPartTypes AnteriorTibialRecurrentArtery AnteriorTibialArtery Human) arteries.kif 1873-1873 connectedBodyPartTypes AnteriorTibialRecurrentArtery, AnteriorTibialArtery and Mensch
(connectedBodyPartTypes AnteriorUlnarRecurrentArtery UlnarArtery Human) arteries.kif 1148-1148 connectedBodyPartTypes AnteriorUlnarRecurrentArtery, UlnarArtery and Mensch
(connectedBodyPartTypes AnterolateralCentralArtery ExternalStriateArtery Human) arteries.kif 371-371 connectedBodyPartTypes AnterolateralCentralArtery, ExternalStriateArtery and Mensch
(connectedBodyPartTypes AnterolateralCentralArtery InternalStriateArtery Human) arteries.kif 366-366 connectedBodyPartTypes AnterolateralCentralArtery, InternalStriateArtery and Mensch
(connectedBodyPartTypes AorticArch LeftCommonCarotidArtery Human) arteries.kif 164-164 connectedBodyPartTypes AorticArch, LeftCommonCarotidArtery and Mensch
(connectedBodyPartTypes ArcuateArtery InterlobarArtery Human) arteries.kif 1454-1454 connectedBodyPartTypes ArcuateArtery, InterlobarArtery and Mensch
(connectedBodyPartTypes AuditoryCanal TympanicCavity Human) Anatomy.kif 1600-1600 connectedBodyPartTypes AuditoryCanal, TympanicCavity and Mensch
(connectedBodyPartTypes Auricle AuditoryCanal Human) Anatomy.kif 1650-1650 connectedBodyPartTypes Auricle, AuditoryCanal and Mensch

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))		 FinancialOntology.kif 998-1002 accountHolder FinancialAccount and kognitiver Agent und ** kognitiver Agent ist ein fall von Mensch genau dann wenn ** FinancialAccount ist ein fall von PersonalAccount
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))		 Merge.kif 17429-17437 Wesen ist ein fall von Mensch und fuer alle ** Wesen ** ** Wesen beschaeftigt ** Wesen nicht haelt waehrend Zeitposition genau dann wenn Unemployed ist ein attribut von ** Wesen haelt waehrend ** Zeitposition
(=>
    (and
        (attribute ?A Founder)
        (instance ?A Human))
    (exists (?PROC)
        (and
            (instance ?PROC Founding)
            (agent ?PROC ?A))))		 Biography.kif 229-236
(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (exists (?DINING ?C ?FOOD ?KITCHEN)
        (and
            (possesses ?REST ?KITCHEN)
            (instance ?KITCHEN KitchenArea)
            (instance ?DINING DiningArea)
            (located ?TABLE ?DINING)
            (hasPurpose ?X
                (and
                    (instance ?C Carrying)
                    (agent ?C ?X)
                    (origin ?C ?KITCHEN)
                    (destination ?C ?TABLE)
                    (patient ?C ?FOOD)
                    (instance ?FOOD
                        (FoodForFn Human)))))))		 Mid-level-ontology.kif 22218-22240
(=>
    (and
        (ennervates ?NC ?MC)
        (instance ?N ?NC)
        (instance ?M ?MC)
        (part ?N ?H)
        (part ?M ?H)
        (attribute ?H Healthy)
        (instance ?H Human))
    (hasPurpose ?N
        (exists (?NF ?C)
            (and
                (instance ?NF NerveFiring)
                (instrument ?NF ?N)
                (instance ?MC MuscleContraction)
                (instrument ?MV ?M)
                (causes ?NF ?MC)))))		 Anatomy.kif 1962-1978
(=>
    (and
        (governmentType ?PLACE Monarchy)
        (instance ?MONARCH Human)
        (instance ?SUCCESSOR Human)
        (holdsDuring ?T1
            (chiefOfState ?PLACE ?ROLE ?MONARCH))
        (familyRelation ?MONARCH ?SUCCESSOR)
        (earlier ?T1 ?T2))
    (modalAttribute
        (holdsDuring ?T2
            (chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility))		 Government.kif 223-234
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))		 Mid-level-ontology.kif 8729-8736
(=>
    (and
        (instance ?AGENT Human)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT)
                (located ?DEVICE ?PLACE)
                (instance ?PLACE Residence))))
    (holdsDuring ?TIME
        (inhabits ?AGENT ?PLACE)))		 Mid-level-ontology.kif 26697-26706
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1751-1757
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))		 Government.kif 1759-1765
(=>
    (and
        (instance ?B Bleeding)
        (instance ?D Death)
        (instance ?H Human)
        (instance ?P Human)
        (experiencer ?B ?P)
        (orientation ?H ?P Near)
        (modalAttribute
            (causes ?B ?D) Likely))
    (holdsObligation ?H
        (exists (?A)
            (and
                (instance ?A ApplyingTourniquet)
                (agent ?A ?H)
                (destination ?A ?P)))))		 Medicine.kif 44-59
(=>
    (and
        (instance ?B Breast)
        (instance ?H Human)
        (part ?B ?H))
    (part ?B
        (FrontFn ?H)))		 Mid-level-ontology.kif 14179-14185
(=>
    (and
        (instance ?CHILD Human)
        (holdsDuring ?TIME
            (attribute ?CHILD NonFullyFormed)))
    (holdsDuring ?TIME
        (instance ?CHILD HumanYouth)))		 Mid-level-ontology.kif 279-285
(=>
    (and
        (instance ?CONFINE Confining)
        (patient ?CONFINE ?PERSON)
        (instance ?PERSON Human))
    (not
        (desires ?PERSON
            (patient ?CONFINE ?PERSON))))		 Merge.kif 12362-12367
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (instance ?SUBJECT Human)
        (experimentalSubject ?EXPERIMENT ?SUBJECT))
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experiencer ?PROCESS ?SUBJECT)
            (or
                (experimentalControlProcess ?EXPERIMENT ?PROCESS)
                (experimentalVariableProcess ?EXPERIMENT ?PROCESS)))))		 UXExperimentalTerms.kif 3923-3934
(=>
    (and
        (instance ?F MilitaryForce)
        (instance ?P Human)
        (instance ?I Imprisoning)
        (member ?P ?F)
        (agent ?I ?E)
        (patient ?I ?P)
        (enemy ?E ?P)
        (eventLocated ?I ?LOC)
        (attribute ?LOC WarState))
    (attribute ?P PrisonerOfWar))		 MilitaryPersons.kif 285-296
(=>
    (and
        (instance ?H Human)
        (attribute ?H Fever))
    (exists (?N)
        (and
            (measure ?H
                (MeasureFn ?N FahrenheitDegree))
            (greaterThan ?N 98.6))))		 Mid-level-ontology.kif 7098-7106
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hyperthermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (greaterThan ?N 38.3))		 Medicine.kif 677-685
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hypothermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (lessThan ?N 35.0))		 Medicine.kif 642-650
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThan ?N 12)
        (lessThan ?N 20))
    (holdsDuring ?T1
        (instance ?H Teenager)))		 Mid-level-ontology.kif 335-341
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThanOrEqualTo ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanAdult)))		 Mid-level-ontology.kif 212-218
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThan ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanYouth)))		 Mid-level-ontology.kif 262-267
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 1))
    (holdsDuring ?T1
        (instance ?H HumanBaby)))		 Mid-level-ontology.kif 385-390
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))		 Mid-level-ontology.kif 304-311
(=>
    (and
        (instance ?H Human)
        (instance ?R Rectum)
        (part ?R ?H)
        (holdsDuring ?T
            (and
                (coreBodyTemp ?H
                    (MeasureFn ?N ?U))
                (measure ?R
                    (MeasureFn ?N2 ?U)))))
    (approximateValue ?N ?N2))		 Medicine.kif 509-520

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 Jahr ist ein fall von das jahr ** JahrEAR und MaleLifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste und Laenge von ** Liste ist ein fall von ** ** Ganzzahl und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl
(<=>
    (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 Jahr ist ein fall von das jahr Ganzzahl und BirthsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn PopulationFn ** geopolitischer Bereich und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 118-133 Jahr ist ein fall von das jahr Ganzzahl und DeathsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn PopulationFn ** geopolitischer Bereich und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl
(<=>
    (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 Jahr ist ein fall von das jahr Ganzzahl und DeathsPerThousandLiveBirthsFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** ** Ganzzahl und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl
(<=>
    (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 Jahr ist ein fall von das jahr Ganzzahl und FemaleLifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste und Laenge von ** Liste ist ein fall von ** ** Ganzzahl und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl
(<=>
    (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 Jahr ist ein fall von das jahr Ganzzahl und LifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste und Laenge von ** Liste ist ein fall von ** ** Ganzzahl und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (SubtractionFn ?Y ?PY) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?PY))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring ?YEAR
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring ?YEAR
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 156-187 Jahr ist ein fall von das jahr Ganzzahl und MigrantsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn (** Ganzzahl und ** Ganzzahl) ist gleich 1 und Wesen ist ein fall von das jahr ** ** Ganzzahl und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl haelt waehrend ** Jahr und ** ** reelle Zahl und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt und (** ** Ganzzahl und ** ** Ganzzahl) ist gleich ** reelle Zahl und ** ** reelle Zahl und ** ** reelle Zahl ist gleich ** reelle Zahl
(<=>
    (equal
        (MaleToFemaleRatioFn ?AREA) ?REALNUMBER)
    (and
        (equal ?MALECOUNT
            (CardinalityFn
                (KappaFn ?MALE
                    (and
                        (instance ?MALE Human)
                        (attribute ?MALE Male)
                        (inhabits ?MALE ?AREA)))))
        (equal ?FEMALECOUNT
            (CardinalityFn
                (KappaFn ?FEMALE
                    (and
                        (instance ?FEMALE Human)
                        (attribute ?FEMALE Female)
                        (inhabits ?FEMALE ?AREA)))))
        (equal
            (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))		 People.kif 206-223 MaleToFemaleRatioFn geopolitischer Bereich ist gleich reelle Zahl genau dann wenn Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt und ** Ganzzahl und ** ** Ganzzahl ist gleich ** reelle Zahl
(=>
    (and
        (attribute ?C Collectible)
        (hasPurpose ?C ?P))
    (exists (?H ?P2)
        (and
            (instance ?H Human)
            (wants ?H ?C)
            (desires ?H ?P2)
            (entails ?P2
                (possesses ?H ?C))
            (not
                (equal ?P ?P2)))))		 Mid-level-ontology.kif 31426-31438
(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))		 Transportation.kif 4203-4227
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))		 Mid-level-ontology.kif 32012-32019
(=>
    (and
        (attribute ?PERSON ?ATTRIBUTE)
        (instance ?ATTRIBUTE SocialRole))
    (instance ?PERSON Human))		 Merge.kif 17419-17423
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))		 Mid-level-ontology.kif 31996-32004
(=>
    (and
        (attribute ?X Produce)
        (instance ?X FruitOrVegetable))
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X
                    (FoodForFn Human))))))		 Economy.kif 4532-4541
(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (exists (?DINING ?C ?FOOD ?KITCHEN)
        (and
            (possesses ?REST ?KITCHEN)
            (instance ?KITCHEN KitchenArea)
            (instance ?DINING DiningArea)
            (located ?TABLE ?DINING)
            (hasPurpose ?X
                (and
                    (instance ?C Carrying)
                    (agent ?C ?X)
                    (origin ?C ?KITCHEN)
                    (destination ?C ?TABLE)
                    (patient ?C ?FOOD)
                    (instance ?FOOD
                        (FoodForFn Human)))))))		 Mid-level-ontology.kif 22218-22240
(=>
    (and
        (businessUnit ?ORG ?BUSINESS)
        (member ?MEMBER ?ORG))
    (instance ?MEMBER Human))		 UXExperimentalTerms.kif 2579-2583
(=>
    (and
        (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
        (subAttribute ?ROLE DiplomaticAgent))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (citizen ?PERSON ?COUNTRY1)
            (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))		 Government.kif 4543-4551
(=>
    (and
        (instance ?B Baptizing)
        (patient ?B ?H))
    (instance ?H Human))		 Mid-level-ontology.kif 9164-9168
(=>
    (and
        (instance ?D Demonstration)
        (agent ?D ?A))
    (or
        (instance ?A Human)
        (instance ?A GroupOfPeople)))		 MilitaryProcesses.kif 2697-2703
(=>
    (and
        (instance ?EV Evacuation)
        (experiencer ?EV ?H))
    (instance ?H Human))		 MilitaryProcesses.kif 2568-2572
(=>
    (and
        (instance ?GROUP GroupOfPeople)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER Human))		 Merge.kif 16413-16417
(=>
    (and
        (instance ?HP HearingProtection)
        (instance ?PERSON Human)
        (wears ?PERSON ?HP))
    (hasPurpose ?HP
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?SOUND ?HEAR ?HUMAN ?T)
                                (and
                                    (instance ?SOUND RadiatingSound)
                                    (instance ?HEAR Hearing)
                                    (instance ?HUMAN Human)
                                    (patient ?HEAR ?SOUND)
                                    (experiencer ?HEAR ?HUMAN)
                                    (causes ?HEAR ?I)
                                    (experiencer ?I ?HUMAN)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)
                (instrument ?PROC ?HP)))))		 Cars.kif 3508-3537
(=>
    (and
        (instance ?HS HeavySurf)
        (instance ?PLACE WaterArea)
        (eventLocated ?HS ?PLACE))
    (exists (?SWIM ?A)
        (and
            (instance ?SWIM Swimming)
            (instance ?A Human)
            (agent ?SWIM ?A)
            (eventLocated ?SWIM ?PLACE)
            (holdsDuring
                (WhenFn ?HS)
                (hazardous ?HS ?A)))))		 Weather.kif 2303-2316
(=>
    (and
        (instance ?I Immigrating)
        (agent ?I ?A))
    (instance ?A Human))		 Mid-level-ontology.kif 18921-18925
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWREGISTRATIONS)
        (and
            (instance ?NEWREGISTRATIONS Collection)
            (forall (?USER)
                (=>
                    (and
                        (instance ?USER Human)
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (registeredUser ?USER ?SITE)))))
                        (exists (?INTERVAL_DURING)
                            (and
                                (instance ?INTERVAL_DURING TimeInterval)
                                (during ?INTERVAL_DURING ?INTERVAL)
                                (holdsDuring ?INTERVAL
                                    (registeredUser ?USER ?SITE)))))
                    (member ?USER ?NEWREGISTRATIONS)))
            (equal ?NEWREGISTRATIONS
                (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))		 UXExperimentalTerms.kif 3428-3455

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 Jahr ist ein fall von das jahr Ganzzahl und ChildrenBornPerWomanFn geopolitischer Bereich and ** Jahr ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt
(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 940-949 AvailableForMilitaryServiceMaleFn geopolitischer Bereich ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 963-974 FitForMilitaryServiceMaleFn geopolitischer Bereich ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 Mid-level-ontology.kif 33658-33663 PopulationFn geopolitischer Bereich ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 1001-1014 ReachingMilitaryAgeAnnuallyMaleFn geopolitischer Bereich and Jahr ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt
(equal Food
    (FoodForFn Human))		 Merge.kif 15026-15026 Nahrung ist gleich FoodForFn Mensch


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