WhereFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 4255-4257
(documentation WhereFn JapaneseLanguage "Object と Object が存在する TimePoint を、その TimePoint に Object が存在していた Region にマップする。")	japanese_format.kif 786-787
(domain WhereFn 1 Physical)	Merge.kif 4250-4250	The number 1 argument of where is an instance of physical
(domain WhereFn 2 TimePoint)	Merge.kif 4251-4251	The number 2 argument of where is an instance of time point
(instance WhereFn BinaryFunction)	Merge.kif 4247-4247	Where is an instance of binary function
(instance WhereFn SpatialRelation)	Merge.kif 4248-4248	Where is an instance of spatial relation
(instance WhereFn TotalValuedRelation)	Merge.kif 4249-4249	Where is an instance of total valued relation
(range WhereFn Region)	Merge.kif 4252-4252	The range of where is an instance of region
(relatedInternalConcept WhereFn WhenFn)	Merge.kif 4253-4253	Where is internally related to when

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 62985-62985
(termFormat ChineseLanguage WhereFn "表示位置的函数")	chinese_format.kif 274-274
(termFormat ChineseTraditionalLanguage WhereFn "哪裡")	domainEnglishFormat.kif 62984-62984
(termFormat EnglishLanguage WhereFn "where")	domainEnglishFormat.kif 62983-62983
(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 1746-1766	If a musical tone is an instance of musical tone and the frequency of the musical tone is a real number hertz(s) and the sound of the musical tone is another real number dB(A)(s) and the musical tone is located at the place where a human was at the beginning of the time of existence of the musical tone and a third real number is greater than the other real number and the other real number is greater than a fourth real number and the real number is greater than 250 and 8000 is greater than the real number and the human is an instance of human and a process is an instance of listening and the human is an agent of the process, then the human can hear frequency of the third real number dB(A)(s) at the fourth real number dB(A)(s) decibels
(=> (equal (WhereFn ?THING ?TIME) ?REGION) (holdsDuring ?TIME (exactlyLocated ?THING ?REGION)))	Merge.kif 4259-4263	If equal the place where a physical was at a time point and a region, then the physical is exactly located in the region holds during the time point

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	A year is an instance of the year the yearEAR and equal the male life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
(<=> (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	A year is an instance of the year an integer and equal the births per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
(<=> (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	A year is an instance of the year an integer and equal the deaths per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
(<=> (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	A year is an instance of the year an integer and equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and the real number
(<=> (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	A year is an instance of the year an integer and equal the female life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
(<=> (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	A year is an instance of the year an integer and equal the life expectancy at birth of a geopolitical area and the year and a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and equal the other integer and the number of instances in the class described by the symbolic string and the real number is an average of the list
(=> (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 2550-2564	If a process is an instance of evacuating and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and the geographic area is a geographic subregion of the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes dangerous is an attribute of the other process
(=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ)))	Merge.kif 9737-9743	If an entity is an instance of case role and an object is an instance of object and the entity a physical and the object, then there exists a time point such that the place where the physical was at the time point and the object overlapsSpatially
(=> (holdsDuring ?TIME (exactlyLocated ?THING ?REGION)) (equal (WhereFn ?THING ?TIME) ?REGION))	Merge.kif 4265-4269	If a physical is exactly located in a region holds during a time point, then equal the place where the physical was at the time point and the region
(=> (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 13728-13737	If a physical is an instance of inflammation, then there exist a transfer and an object such that the transfer is an instance of translocation and the object is an instance of white blood cell and the object transferred in the transfer is the object and the transfer ends up at the place where the physical was at the time of existence of the physical
(=> (origin ?PROCESS ?OBJ) (eventLocated (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))	Merge.kif 8073-8081	If a process originates at an object, then the place where the process was at the beginning of the time of existence of the process is located at the place where the object was at the beginning of the time of existence of the object

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