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
WhereFn
の数値 1 引数は
物理
の
instance
では %n
(
domain
WhereFn
2
TimePoint
)
Merge.kif 4223-4223
WhereFn
の数値 2 引数は
時点
の
instance
では %n
(
instance
WhereFn
BinaryFunction
)
Merge.kif 4219-4219
WhereFn
は
2変数関数
の
instance
では %n
(
instance
WhereFn
SpatialRelation
)
Merge.kif 4220-4220
WhereFn
は
空間的関係
の
instance
では %n
(
instance
WhereFn
TotalValuedRelation
)
Merge.kif 4221-4221
WhereFn
は
合計値関係
の
instance
では %n
(
range
WhereFn
Region
)
Merge.kif 4224-4224
WhereFn
の
range
は
地域
のインスタンス では %n
(
relatedInternalConcept
WhereFn
WhenFn
)
Merge.kif 4225-4225
WhereFn
は
WhenFn
に
internally
関連して %n
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
は
MusicalTone
の
instance
では %n
soundFrequency
MusicalTone
and
実数
の
Hertz
(s)
loudness
MusicalTone
and
実数
の
Decibel
(s)
MusicalTone
は
人[人間]
が
MusicalTone
の
time
の existence の
beginning
に
where
場所 に
located
して %n
実数
は
実数
より
greater
では %n
実数
は
実数
より
greater
では %n
実数
は 250 より
greater
では %n 8000 は
実数
より
greater
では %n
人[人間]
は
人[人間]
の
instance
では %n
工程
は
Listening
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
hearingAcuity
人[人間]
,
実数
の
Decibel
(s) and
実数
の
Decibel
(s)
(=>
(
equal
(
WhereFn
?THING ?TIME) ?REGION)
(
holdsDuring
?TIME
(
exactlyLocated
?THING ?REGION)))
Merge.kif 4231-4235
物理
が
時点
に
where
場所 は
地域
と
equal
では %n
物理
は
exactly
地域
に 位置して %n は
時点
の
during
holds %n{ない}
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
年
は
年
EAR
year
目 の
instance
では %n
MaleLifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
average
リスト
and
実数
(<=>
(
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
年
は
整数
year
目 の
instance
では %n
BirthsPerThousandFn
地政学的地域
and
年
は
実数
と
equal
では %n
PopulationFn
地政学的地域
+ 1000 は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
+
実数
は
実数
と
equal
では %n
(<=>
(
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
年
は
整数
year
目 の
instance
では %n
DeathsPerThousandFn
地政学的地域
and
年
は
実数
と
equal
では %n
PopulationFn
地政学的地域
+ 1000 は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
+
実数
は
実数
と
equal
では %n
(<=>
(
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
年
は
整数
year
目 の
instance
では %n
DeathsPerThousandLiveBirthsFn
地政学的地域
and
年
は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
+ 1000 は
実数
と
equal
では %n
整数
は
エンティティー
class
の
instances
の数 と
equal
では %n
整数
+
実数
は
実数
と
equal
では %n
(<=>
(
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
年
は
整数
year
目 の
instance
では %n
FemaleLifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
average
リスト
and
実数
(<=>
(
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
年
は
整数
year
目 の
instance
では %n
LifeExpectancyAtBirthFn
地政学的地域
and
年
は
実数
と
equal
では %n
リスト
整数
,
記号文字列
,
エンティティー
,
エンティティー
and
エンティティー
リスト
は
リスト
の
instance
では %n
リスト
の
length
は
整数
の
instance
では %n
リスト
ITEM
リスト
ITEM は
リスト
の
member
では %n
リスト
ITEM は
記号文字列
の
instance
では %n
エンティティー
エンティティー
は
記号文字列
の
instance
では %n
エンティティー
は
リスト
の
member
では
整数
は
記号文字列
で記述される
class
の
instances
の数 と
equal
では %n
average
リスト
and
実数
(=>
(
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
工程
は
Evacuation
の
instance
では %n
工程
は
地理的地域
から
originate
s %n{ない}
認識エージェント
は
工程
の
agent
では %n
工程
工程
は
工程
の
instance
では %n
geographicSubregion
地理的地域
and
工程
が
工程
の
time
の existence の
beginning
に
where
場所
工程
は
工程
を
cause
s %n{ない}
認識エージェント
は
Dangerous
は
工程
の
attribute
では %n を
believe
s %n{ない}
(=>
(
and
(
instance
?REL
CaseRole
)
(
instance
?OBJ
Object
)
(?REL ?PROCESS ?OBJ))
(
exists
(?TIME)
(
overlapsSpatially
(
WhereFn
?PROCESS ?TIME) ?OBJ)))
Merge.kif 9601-9607
エンティティー
は
格役割
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
エンティティー
物理
and
オブジェクト
時点
overlapsSpatially
物理
が
時点
に
where
場所 and
オブジェクト
(=>
(
holdsDuring
?TIME
(
exactlyLocated
?THING ?REGION))
(
equal
(
WhereFn
?THING ?TIME) ?REGION))
Merge.kif 4237-4241
物理
は
exactly
地域
に 位置して %n は
時点
の
during
holds %n{ない}
物理
が
時点
に
where
場所 は
地域
と
equal
では %n
(=>
(
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
物理
は
Inflammation
の
instance
では %n
移動
オブジェクト
移動
は
Translocation
の
instance
では %n
オブジェクト
は
WhiteBloodCell
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
物理
が
物理
の
time
の existence に
where
場所 に
end
s %n{ない}
(=>
(
origin
?PROCESS ?OBJ)
(
eventLocated
(
WhereFn
?PROCESS
(
BeginFn
(
WhenFn
?PROCESS)))
(
WhereFn
?OBJ
(
BeginFn
(
WhenFn
?OBJ)))))
Merge.kif 7988-7996
工程
は
オブジェクト
から
originate
s %n{ない}
eventLocated
工程
が
工程
の
time
の existence の
beginning
に
where
場所 and
オブジェクト
が
オブジェクト
の
time
の existence の
beginning
に
where
場所
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