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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Human
Human(Umano)
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 14692-14693
(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 3117-3117
(externalImage Human "http://upload.wikimedia.org/wikipedia/commons/4/42/ Skeleton_diagram.svg") pictureList.kif 3116-3116
(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 14691-14691 Umano è esaustivamente partizionato in Man + Woman
(subclass Human CognitiveAgent) Merge.kif 14690-14690 Umano è una sottoclasse di AgenteCognitivo
(subclass Human Hominid) Merge.kif 14689-14689 Umano è una sottoclasse di Ominide

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


(biologicalAgentCarrier BordetellaPertussis Human) WMD.kif 1586-1586 biologicalAgentCarrier BordetellaPertussis and Umano
(disjoint DomesticAnimal Human) Mid-level-ontology.kif 20045-20045 DomesticAnimal è disgiunto da Umano
(disjoint Organization Human) Media.kif 35-35 Organizzazione è disgiunto da Umano
(initialPart VocalCords Human) Mid-level-ontology.kif 786-786 initialPart VocalCords and Umano
(initiallyContainsPart Brain Human) Mid-level-ontology.kif 23749-23749 initiallyContainsPart Brain and Umano
(initiallyContainsPart Heart Human) Mid-level-ontology.kif 23750-23750 initiallyContainsPart Heart and Umano
(instance SteveJobsOfApple Human) ComputingBrands.kif 2447-2447 SteveJobsOfApple è un' istanza di Umano
(instance SteveWozniakOfApple Human) ComputingBrands.kif 2459-2459 SteveWozniakOfApple è un' istanza di Umano
(instance TimCookOfApple Human) ComputingBrands.kif 2435-2435 TimCookOfApple è un' istanza di Umano
(subclass HumanAdult Human) Mid-level-ontology.kif 178-178 HumanAdult è una sottoclasse di Umano
(subclass HumanYouth Human) Mid-level-ontology.kif 241-241 HumanYouth è una sottoclasse di Umano
(subclass Man Human) Merge.kif 14695-14695 Man è una sottoclasse di Umano
(subclass Teenager Human) Mid-level-ontology.kif 313-313 Teenager è una sottoclasse di Umano
(subclass Woman Human) Merge.kif 14702-14702 Woman è una sottoclasse di Umano
(termFormat ChineseLanguage Human "人类") chinese_format.kif 1002-1002
(termFormat EnglishLanguage Human "human") english_format.kif 1216-1216
(termFormat FrenchLanguage Human "humain") french_format.kif 679-679
(termFormat Hindi Human "maanava") terms-hindi.txt 210-210
(termFormat ItalianLanguage Human "Umano") terms-it.txt 213-213
(termFormat JapaneseLanguage Human "人［人間］") japanese_format.kif 2363-2363
(termFormat PortugueseLanguage Human "Humano") portuguese_format.kif 631-631
(termFormat cb Human "tawo") terms-cb.txt 215-215
(termFormat cz Human "human") terms-cz.txt 247-247
(termFormat ro Human "fiinþã umanã") relations-ro.kif 700-700

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

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 996-1000 accountHolder FinancialAccount and AgenteCognitivo AgenteCognitivo è un' istanza di Umano FinancialAccount è un' istanza di PersonalAccount
(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))		 Merge.kif 17325-17333 Entit� è un' istanza di Umano Entit� Entit� non impiega Entit� vales durante PosizioneTemporale attribute Entit� and Unemployed vales durante PosizioneTemporale
(=>
    (and
        (attribute ?A Founder)
        (instance ?A Human))
    (exists (?PROC)
        (and
            (instance ?PROC Founding)
            (agent ?PROC ?A))))		 Biography.kif 223-230
(=>
    (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 20628-20650
(=>
    (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 1923-1939
(=>
    (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 7589-7596
(=>
    (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 25092-25101
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1753-1759
(=>
    (and
        (instance ?AGENT Human)
        (instance ?ORG Organization)
        (instance ?POSITION Position)
        (attribute ?AGENT
            (MemberRoleFn ?ORG ?POSITION)))
    (member ?AGENT ?ORG))		 Government.kif 1761-1767
(=>
    (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 Attaching)
                (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 12875-12881
(=>
    (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 12258-12263
(=>
    (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 6155-6163
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hyperthermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (greaterThan ?N 38.3))		 Medicine.kif 686-694
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hypothermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (lessThan ?N 35.0))		 Medicine.kif 651-659
(=>
    (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 519-530

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 Anno è un' istanza di l' anno AnnoEAR MaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale
(<=>
    (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 Anno è un' istanza di l' anno NumeroIntero BirthsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale PopulationFn AreaGeopolitica + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale
(<=>
    (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 Anno è un' istanza di l' anno NumeroIntero DeathsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale PopulationFn AreaGeopolitica + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale
(<=>
    (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 Anno è un' istanza di l' anno NumeroIntero DeathsPerThousandLiveBirthsFn AreaGeopolitica and Anno is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale
(<=>
    (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 Anno è un' istanza di l' anno NumeroIntero FemaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale
(<=>
    (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 Anno è un' istanza di l' anno NumeroIntero LifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale
(<=>
    (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 Anno è un' istanza di l' anno NumeroIntero MigrantsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale ( NumeroIntero + NumeroIntero is uguale a 1 Entit� è un' istanza di l' anno NumeroIntero PopulationFn AreaGeopolitica is uguale a NumeroReale vales durante Anno NumeroReale + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa ( NumeroIntero + NumeroIntero is uguale a NumeroReale NumeroReale + NumeroReale is uguale a NumeroReale
(<=>
    (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 AreaGeopolitica is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroIntero is uguale a NumeroReale
(=>
    (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 29558-29570
(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))		 Mid-level-ontology.kif 30144-30151
(=>
    (and
        (attribute ?PERSON ?ATTRIBUTE)
        (instance ?ATTRIBUTE SocialRole))
    (instance ?PERSON Human))		 Merge.kif 17315-17319
(=>
    (and
        (attribute ?U Uninhabited)
        (instance ?U Region))
    (not
        (exists (?H)
            (and
                (instance ?H Human)
                (inhabits ?H ?U)))))		 Mid-level-ontology.kif 30128-30136
(=>
    (and
        (attribute ?X Produce)
        (instance ?X FruitOrVegetable))
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X
                    (FoodForFn Human))))))		 Economy.kif 4195-4204
(=>
    (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 20628-20650
(=>
    (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 4546-4554
(=>
    (and
        (instance ?B Baptizing)
        (patient ?B ?H))
    (instance ?H Human))		 Mid-level-ontology.kif 8024-8028
(=>
    (and
        (instance ?D Demonstration)
        (agent ?D ?A))
    (or
        (instance ?A Human)
        (instance ?A GroupOfPeople)))		 MilitaryProcesses.kif 2663-2669
(=>
    (and
        (instance ?EV Evacuation)
        (experiencer ?EV ?H))
    (instance ?H Human))		 MilitaryProcesses.kif 2534-2538
(=>
    (and
        (instance ?GROUP GroupOfPeople)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER Human))		 Merge.kif 16309-16313
(=>
    (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 3432-3461
(=>
    (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 1562-1575
(=>
    (and
        (instance ?I Immigrating)
        (agent ?I ?A))
    (instance ?A Human))		 Mid-level-ontology.kif 17397-17401
(=>
    (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
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (instance ?OWNER AutonomousAgent)
        (attribute ?LISTING ForSaleByOwner)
        (possesses ?OWNER ?ITEM))
    (instance ?OWNER Human))		 UXExperimentalTerms.kif 381-388

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 Anno è un' istanza di l' anno NumeroIntero ChildrenBornPerWomanFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa
(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 863-872 AvailableForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa
(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 886-897 FitForMilitaryServiceMaleFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 Mid-level-ontology.kif 31744-31749 PopulationFn AreaGeopolitica is uguale a il numero di istanzia in la classe descritta da Stringa
(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 924-937 ReachingMilitaryAgeAnnuallyMaleFn AreaGeopolitica and Anno is uguale a il numero di istanzia in la classe descritta da Stringa
(equal Food
    (FoodForFn Human))		 Merge.kif 14919-14919 Cibo is uguale a FoodForFn Umano


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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