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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WhereFn

 Sigma KEE - WhereFn
WhereFn

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


(documentation WhereFn ChineseLanguage "这个函数把一个 Object 和 一个 TimePoint 连在一起， 它的意思是这个 Object 在 TimePoint 存在于 Region。") chinese_format.kif 2131-2132
(documentation WhereFn EnglishLanguage "Maps an Object and a TimePoint at which the Object exists to the Region where the Object existed at that TimePoint.") Merge.kif 4227-4229
(documentation WhereFn JapaneseLanguage "Object と Object が存在する TimePoint を、 その TimePoint に Object が存在していた Region にマップする。") japanese_format.kif 786-787
(domain WhereFn 1 Physical) Merge.kif 4222-4222 Il numero 1 argomenti di WhereFn è un istanza di Entit�Concreta
(domain WhereFn 2 TimePoint) Merge.kif 4223-4223 Il numero 2 argomenti di WhereFn è un istanza di PuntoTemporale
(instance WhereFn BinaryFunction) Merge.kif 4219-4219 WhereFn è un' istanza di FunzioneBinaria
(instance WhereFn SpatialRelation) Merge.kif 4220-4220 WhereFn è un' istanza di RelazioneSpaziale
(instance WhereFn TotalValuedRelation) Merge.kif 4221-4221 WhereFn è un' istanza di RelazioneAValoreTotale
(range WhereFn Region) Merge.kif 4224-4224 rango di WhereFn è un'istanza di Regione
(relatedInternalConcept WhereFn WhenFn) Merge.kif 4225-4225 WhereFn è interamente correlato a WhenFn

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


(format ChineseLanguage WhereFn "%1 在 %2 时所处的地区") chinese_format.kif 273-273
(format EnglishLanguage WhereFn "the place where %1 was at %2") english_format.kif 278-278
(format FrenchLanguage WhereFn "la place o� %1 �tait � %2") french_format.kif 155-155
(format ItalianLanguage WhereFn "il luogo dove %1 era in %2") relations-it.txt 315-315
(format JapaneseLanguage WhereFn "%1 が %2 に where 場所") japanese_format.kif 1983-1983
(format PortugueseLanguage WhereFn "o lugar onde %1 estava em %2") portuguese_format.kif 107-107
(format cz WhereFn "m�sto kde %1 byl v �ase %2'") relations-cz.txt 162-162
(format de WhereFn "die Stelle wo %1 an %2 war") relations-de.txt 353-353
(format hi WhereFn "vaha jagaha jahaa %2 para %1 thaa") relations-hindi.txt 58-58
(format ro WhereFn "locul where%t{unde} %1 era la %2") relations-ro.kif 174-174
(format sv WhereFn "den plats där %1 var vid %2") relations-sv.txt 161-161
(format tg WhereFn "ang lugar saan %1 ay sa %2") relations-tg.txt 507-507
(termFormat ChineseLanguage WhereFn "哪里") domainEnglishFormat.kif 62991-62991
(termFormat ChineseLanguage WhereFn "表示位置的函数") chinese_format.kif 274-274
(termFormat ChineseTraditionalLanguage WhereFn "哪裡") domainEnglishFormat.kif 62990-62990
(termFormat EnglishLanguage WhereFn "where") domainEnglishFormat.kif 62989-62989
(termFormat de WhereFn "WoFn") terms-de.txt 113-113

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


(=>
    (and
        (instance ?MT MusicalTone)
        (soundFrequency ?MT
            (MeasureFn ?FREQ Hertz))
        (loudness ?MT
            (MeasureFn ?LLB Decibel))
        (located ?MT
            (WhereFn ?H
                (BeginFn
                    (WhenFn ?MT))))
        (greaterThan ?LLIMIT ?LLB)
        (greaterThan ?LLB ?ULIMIT)
        (greaterThan ?FREQ 250)
        (greaterThan 8000 ?FREQ)
        (instance ?H Human)
        (instance ?L Listening)
        (agent ?L ?H))
    (hearingAcuity ?H
        (MeasureFn ?LLIMIT Decibel)
        (MeasureFn ?ULIMIT Decibel)))		 Medicine.kif 1753-1773
(=>
    (equal
        (WhereFn ?THING ?TIME) ?REGION)
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION)))		 Merge.kif 4231-4235

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 ?EV Evacuation)
        (origin ?EV ?OR)
        (agent ?EV ?A))
    (exists (?P)
        (and
            (instance ?P Process)
            (geographicSubregion ?OR
                (WhereFn ?P
                    (BeginFn
                        (WhenFn ?EV))))
            (causes ?P ?EV)
            (believes ?A
                (attribute ?P Dangerous)))))		 MilitaryProcesses.kif 2516-2530
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))		 Merge.kif 9601-9607
(=>
    (holdsDuring ?TIME
        (exactlyLocated ?THING ?REGION))
    (equal
        (WhereFn ?THING ?TIME) ?REGION))		 Merge.kif 4237-4241
(=>
    (instance ?I Inflammation)
    (exists (?T ?W)
        (and
            (instance ?T Translocation)
            (instance ?W WhiteBloodCell)
            (objectTransferred ?T ?W)
            (destination ?T
                (WhereFn ?I
                    (WhenFn ?I))))))		 Mid-level-ontology.kif 12397-12406
(=>
    (origin ?PROCESS ?OBJ)
    (eventLocated
        (WhereFn ?PROCESS
            (BeginFn
                (WhenFn ?PROCESS)))
        (WhereFn ?OBJ
            (BeginFn
                (WhenFn ?OBJ)))))		 Merge.kif 7988-7996


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