Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
O argumento numero 1 de
WhereFn
e' uma
instancia
de
Fisico
(
domain
WhereFn
2
TimePoint
)
Merge.kif 4223-4223
O argumento numero 2 de
WhereFn
e' uma
instancia
de
Ponto no tempo
(
instance
WhereFn
BinaryFunction
)
Merge.kif 4219-4219
WhereFn
e' uma
instancia
de
Funcao Binaria
(
instance
WhereFn
SpatialRelation
)
Merge.kif 4220-4220
WhereFn
e' uma
instancia
de
Relacao Espacial
(
instance
WhereFn
TotalValuedRelation
)
Merge.kif 4221-4221
WhereFn
e' uma
instancia
de
Relacao Total
(
range
WhereFn
Region
)
Merge.kif 4224-4224
O
contra
-dominio de
WhereFn
e' uma instancia de
Regiao
(
relatedInternalConcept
WhereFn
WhenFn
)
Merge.kif 4225-4225
WhereFn
e'
relacionado
internamente por SUMO 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
MusicalTone
e' uma
instancia
de
MusicalTone
soundFrequency
MusicalTone
and
Numero Real
Hertz
(s)
loudness
MusicalTone
and
Numero Real
Decibel
(s)
MusicalTone
e'
situado
em o lugar onde
Humano
estava em o
comeco
de
tempo
de existencia de
MusicalTone
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que 250 8000 e'
maior
que
Numero Real
Humano
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Listening
Processo
e' um
agente
de
Humano
hearingAcuity
Humano
,
Numero Real
Decibel
(s) and
Numero Real
Decibel
(s)
(=>
(
equal
(
WhereFn
?THING ?TIME) ?REGION)
(
holdsDuring
?TIME
(
exactlyLocated
?THING ?REGION)))
Merge.kif 4231-4235
O lugar onde
Fisico
estava em
Ponto no tempo
e'
igual
a
Regiao
Fisico
e'
situado
exatamente dentro de
Regiao
vale
durante
Ponto no tempo
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
Ano
e' uma
instancia
de o
ano
Ano
EAR
MaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
(<=>
(
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
BirthsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
PopulationFn
Area Geopolitica
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
(<=>
(
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
PopulationFn
Area Geopolitica
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
(<=>
(
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandLiveBirthsFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
(<=>
(
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
FemaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
(<=>
(
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
LifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
(=>
(
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
Processo
e' uma
instancia
de
Evacuation
Processo
tem como
origem
Area Geografica
Processo
e' um
agente
de
Agente Cognitivo
Processo
Processo
e' uma
instancia
de
Processo
geographicSubregion
Area Geografica
and o lugar onde
Processo
estava em o
comeco
de
tempo
de existencia de
Processo
Processo
causa
Processo
Agente Cognitivo
acredita
que
Dangerous
e' um
atributo
de
Processo
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9601-9607
Entidade
e' uma
instancia
de
Role em Caso
Objeto
e' uma
instancia
de
Objeto
Entidade
Fisico
and
Objeto
Ponto no tempo
o lugar onde
Fisico
estava em
Ponto no tempo
engloba
Objeto
(=>
(
holdsDuring
?TIME
(
exactlyLocated
?THING ?REGION))
(
equal
(
WhereFn
?THING ?TIME) ?REGION))
Merge.kif 4237-4241
Fisico
e'
situado
exatamente dentro de
Regiao
vale
durante
Ponto no tempo
o lugar onde
Fisico
estava em
Ponto no tempo
e'
igual
a
Regiao
(=>
(
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
Fisico
e' uma
instancia
de
Inflammation
Transferencia
Objeto
Transferencia
e' uma
instancia
de
Translocation
Objeto
e' uma
instancia
de
WhiteBloodCell
objectTransferred
Transferencia
and
Objeto
Transferencia
termina
em o lugar onde
Fisico
estava em
tempo
de existencia de
Fisico
(=>
(
origin
?PROCESS ?OBJ)
(
eventLocated
(
WhereFn
?PROCESS
(
BeginFn
(
WhenFn
?PROCESS)))
(
WhereFn
?OBJ
(
BeginFn
(
WhenFn
?OBJ)))))
Merge.kif 7988-7996
Processo
tem como
origem
Objeto
eventLocated
o lugar onde
Processo
estava em o
comeco
de
tempo
de existencia de
Processo
and o lugar onde
Objeto
estava em o
comeco
de
tempo
de existencia de
Objeto
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