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
top
Sigma KEE - top
top
appearance as argument number 1
(
documentation
top
ChineseLanguage
"(
top
?TOP ?OBJECT)的意思是 ?TOP 是 ?OBJECT 最高的最大 的表面部分。")
chinese_format.kif 2845-2846
(
documentation
top
EnglishLanguage
"(
top
?TOP ?OBJECT) means that ?TOP is the highest maximal superficial part of ?OBJECT.")
Merge.kif 9727-9728
(
documentation
top
JapaneseLanguage
"(
top
?TOP ?OBJECT) とは、?TOP が ?OBJECT の最も高い 表面的な部分であることを意味する。")
japanese_format.kif 1589-1590
(
domain
top
1
SelfConnectedObject
)
Merge.kif 9724-9724
top
の数値 1 引数は
自己接続オブジェクト
の
instance
では %n
(
domain
top
2
SelfConnectedObject
)
Merge.kif 9725-9725
top
の数値 2 引数は
自己接続オブジェクト
の
instance
では %n
(
instance
top
BinaryPredicate
)
Merge.kif 9723-9723
top
は
2進述語
の
instance
では %n
(
subrelation
top
superficialPart
)
Merge.kif 9722-9722
top
は
superficialPart
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
top
"%1 %n 是 %2 的
top
")
chinese_format.kif 389-389
(
format
EnglishLanguage
top
"the
top
of %2 is %n %1")
english_format.kif 395-395
(
format
FrenchLanguage
top
"le
de
ssus de %2 est %n %1")
french_format.kif 223-223
(
format
ItalianLanguage
top
"ilvertice %2 è %1")
relations-it.txt 301-301
(
format
JapaneseLanguage
top
"%2 の
top
は %1 では %n ")
japanese_format.kif 2029-2029
(
format
PortugueseLanguage
top
"o
top
o de %2 e' %n %1")
portuguese_format.kif 175-175
(
format
de
top
"die oberseite von %2 ist %1")
relations-de.txt 522-522
(
format
hi
top
"%2 kaa shiirshha %1 hai")
relations-hindi.txt 337-337
(
format
ro
top
"
top
%t{vârful} lui %2 %n{nu} este %1")
relations-ro.kif 243-243
(
format
sv
top
"
top
pen av %2 är %n{inte} %1")
relations-sv.txt 241-241
(
format
tg
top
"ang tuktok sa %2 ay %1")
relations-tg.txt 493-493
(
termFormat
ChineseLanguage
top
"上")
domainEnglishFormat.kif 58448-58448
(
termFormat
ChineseLanguage
top
"顶部")
chinese_format.kif 390-390
(
termFormat
ChineseTraditionalLanguage
top
"上")
domainEnglishFormat.kif 58447-58447
(
termFormat
EnglishLanguage
top
"top")
domainEnglishFormat.kif 58446-58446
antecedent
(=>
(
and
(
height
?OBJECT ?HEIGHT)
(
top
?TOP ?OBJECT)
(
bottom
?BOTTOM ?OBJECT))
(
distance
?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9776-9781
自己接続オブジェクト
の
height
は
長さ測定
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
と
自己接続オブジェクト
の
distance
は
長さ測定
では %n
(=>
(
and
(
instance
?BOTTLE
Bottle
)
(
bottom
?BOTTOM ?BOTTLE)
(
top
?TOP ?BOTTLE)
(
instance
?U
UnitOfLength
)
(
width
?BOTTOM
(
MeasureFn
?WIDTH1 ?U))
(
width
?TOP
(
MeasureFn
?WIDTH2 ?U)))
(
lessThan
?WIDTH2 ?WIDTH1))
Mid-level-ontology.kif 4698-4708
自己接続オブジェクト
は
Bottle
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
測定単位
は
UnitOfLength
の
instance
では %n
自己接続オブジェクト
の
width
は
実数
の
測定単位
(s) では %n
自己接続オブジェクト
の
width
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
less
では %n
(=>
(
and
(
instance
?C
Cappuccino
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
approximateValue
?L 20.0)))
Food.kif 1285-1301
オブジェクト
は
Cappuccino
の
instance
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
Bubble
の
instance
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
approximateValue
実数
and 0.03
approximateValue
実数
and 0.15
approximateValue
実数
and 20.0
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
オブジェクト
は
FlatWhite
の
instance
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
物質
の
part
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
は
Bubble
の
instance
では %n
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
approximateValue
実数
and 0.03
approximateValue
実数
and 0.15
実数
は 1.0
greater
では %n
実数
は 20.0 より
less
または同等 では %n
(=>
(
and
(
instance
?C
Latte
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.21)
(
approximateValue
?L 12.0)))
Food.kif 1399-1415
オブジェクト
は
Latte
の
instance
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
Bubble
の
instance
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
approximateValue
実数
and 0.03
approximateValue
実数
and 0.21
approximateValue
実数
and 12.0
(=>
(
and
(
instance
?Mesa
Mesa
)
(
top
?Top ?Mesa))
(
attribute
?Top
FlatTerrain
))
Geography.kif 4159-4163
自己接続オブジェクト
は
Mesa
の
instance
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
FlatTerrain
は
自己接続オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?Plateau
Plateau
)
(
top
?Top ?Plateau))
(
attribute
?Top
FlatTerrain
))
Geography.kif 4140-4144
自己接続オブジェクト
は
Plateau
の
instance
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
FlatTerrain
は
自己接続オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 17517-17522
工程
は
Reversing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
top
は
エンティティー
では
エンティティー
の
bottom
は
エンティティー
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
の
top
は
エンティティー
では
エンティティー
の
bottom
は
エンティティー
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4772-4777
自己接続オブジェクト
は
Sea
の
instance
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
altitude
は
SeaLevel
では %n
(=>
(
and
(
instance
?SEA
Sea
)
(
top
?TOP ?SEA))
(
altitude
?TOP
SeaLevel
(
MeasureFn
0.0
Meter
)))
Geography.kif 4765-4770
自己接続オブジェクト
は
Sea
の
instance
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
altitude
は
SeaLevel
では %n
(=>
(
and
(
instance
?butte
Butte
)
(
top
?top ?butte))
(
attribute
?top
FlatTerrain
))
Geography.kif 4182-4186
自己接続オブジェクト
は
Butte
の
instance
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
FlatTerrain
は
自己接続オブジェクト
の
attribute
では %n
(=>
(
and
(
top
?TOP ?O)
(
side
?S ?O))
(
not
(
equal
?TOP ?S)))
Merge.kif 9753-9758
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
side
は
自己接続オブジェクト
では
自己接続オブジェクト
は
自己接続オブジェクト
と
equal
では
(=>
(
and
(
top
?TOP ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?TOP)))
(
orientation
?PART ?TOP
Below
))
Merge.kif 9730-9735
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
と
connected
して
オブジェクト
は
Below
対
自己接続オブジェクト
では %n
consequent
(=>
(
altitude
?OBJ1 ?OBJ2 ?HEIGHT)
(
exists
(?TOP)
(
and
(
top
?TOP ?OBJ1)
(
distance
?TOP ?OBJ2 ?HEIGHT))))
Merge.kif 7718-7723
自己接続オブジェクト
の
altitude
は
物理
では %n
自己接続オブジェクト
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
と
物理
の
distance
は
長さ測定
では %n
(=>
(
and
(
elevation
?OBJECT
(
MeasureFn
?NUM ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
instance
?OBJECT
LandForm
))
(
exists
(?HIGHPOINT)
(
and
(
top
?HIGHPOINT ?OBJECT)
(
distance
?HIGHPOINT
SeaLevel
(
MeasureFn
?NUM ?UNIT)))))
Geography.kif 1922-1930
elevation
自己接続オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
UnitOfLength
の
instance
では %n
自己接続オブジェクト
は
LandForm
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
と
SeaLevel
の
distance
は
実数
の
測定単位
(s) では %n
(=>
(
and
(
instance
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 17517-17522
工程
は
Reversing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
top
は
エンティティー
では
エンティティー
の
bottom
は
エンティティー
では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
の
top
は
エンティティー
では
エンティティー
の
bottom
は
エンティティー
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1651-1672
工程
は
Tornado
の
instance
では %n
工程
は
Rotating
の
instance
では %n
オブジェクト
は
Air
の
instance
では %n
工程
RAN は
Translocation
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
RAN は
工程
% の
subprocess
では %n
オブジェクト
は
工程
RAN の
patient
では %n プロセス
工程
RAN のエンテテイは
Horizontal
を
moving
して %n
オブジェクト
自己接続オブジェクト
,
工程
OP,
自己接続オブジェクト
,
自己接続オブジェクト
and
自己接続オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
eventLocated
工程
and
オブジェクト
自己接続オブジェクト
は
オブジェクト
の
part
では %n
ConeSegment
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
の
top
は
工程
OP では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
は
Cloud
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
工程
OP は
自己接続オブジェクト
と
meet
s %n{ない}
自己接続オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
attribute
?O
LevelShape
)
(
not
(
exists
(?P1 ?P2 ?T ?H1 ?H2 ?U)
(
and
(
top
?T ?O)
(
part
?P1 ?T)
(
part
?P2 ?T)
(
instance
?U
UnitOfLength
)
(
height
?P1
(
MeasureFn
?H1 ?U))
(
height
?P2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1 ?H2)))))
Mid-level-ontology.kif 2823-2836
LevelShape
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
自己接続オブジェクト
,
自己接続オブジェクト
,
実数
,
実数
and
測定単位
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では %n
測定単位
は
UnitOfLength
の
instance
では %n
自己接続オブジェクト
の
height
は
実数
の
測定単位
(s) では %n
自己接続オブジェクト
の
height
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
attribute
?X
LoftStyle
)
(
exists
(?FLOOR ?LOFT ?CEILING)
(
and
(
bottom
?FLOOR ?X)
(
top
?CEILING ?X)
(
instance
?LOFT
StationaryArtifact
)
(
orientation
?LOFT ?FLOOR
Above
)
(
orientation
?LOFT ?CEILING
Below
))))
Hotel.kif 1157-1165
LoftStyle
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
オブジェクト
and
自己接続オブジェクト
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
オブジェクト
は
固定アーチファクト
の
instance
では %n
オブジェクト
は
Above
対
自己接続オブジェクト
では %n
オブジェクト
は
Below
対
自己接続オブジェクト
では %n
(=>
(
instance
?BOX
Box
)
(
equal
(
CardinalityFn
(
KappaFn
?SIDE
(
or
(
top
?SIDE ?BOX)
(
bottom
?SIDE ?BOX)
(
side
?SIDE ?BOX)))) 6))
Mid-level-ontology.kif 4476-4484
エンティティー
は
Box
の
instance
では %n
エンティティー
class
の
instances
の数 は 6 と
equal
では %n
(=>
(
instance
?C
Ceiling
)
(
exists
(?R)
(
and
(
top
?C ?R)
(
instance
?R
Room
))))
Mid-level-ontology.kif 15336-15341
自己接続オブジェクト
は
Ceiling
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
は
部屋
の
instance
では %n
(=>
(
instance
?HOLE
GolfHole
)
(
exists
(?CYLINDER ?CIRCLE)
(
and
(
instance
?CYLINDER
Cylinder
)
(
attribute
?HOLE ?CYLINDER)
(
top
?CIRCLE ?HOLE)
(
instance
?CIRCLE
Circle
)
(
diameter
?CIRCLE
(
MeasureFn
4.25
Inch
)))))
Sports.kif 964-972
自己接続オブジェクト
は
GolfHole
の
instance
では %n
属性
自己接続オブジェクト
属性
は
Cylinder
の
instance
では %n
属性
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
は
Circle
の
instance
では %n
自己接続オブジェクト
の
diameter
は 4.25 の
Inch
(s) では %n
(=>
(
instance
?L
Lid
)
(
exists
(?C)
(
and
(
instance
?C
Container
)
(
part
?L ?C)
(
capability
Closing
instrument
?L)
(
capability
Opening
instrument
?L)
(
top
?L ?C))))
Mid-level-ontology.kif 4019-4027
自己接続オブジェクト
は
Lid
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
Container
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では %n
自己接続オブジェクト
は
Closing
を
instrument
として行う
capable
では %n
自己接続オブジェクト
は
Opening
を
instrument
として行う
capable
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
(=>
(
instance
?ROOF
Roof
)
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
top
?ROOF ?BUILDING))))
Mid-level-ontology.kif 15346-15351
自己接続オブジェクト
は
Roof
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
建物
の
instance
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
(=>
(
instance
?X
Courtyard
)
(
and
(
not
(
exists
(?ROOF)
(
and
(
instance
?ROOF
Roof
)
(
top
?ROOF ?X))))
(
exists
(?BLDG)
(
and
(
instance
?BLDG
Building
)
(
orientation
?X ?BLDG
Surrounded
)))))
Mid-level-ontology.kif 26021-26032
自己接続オブジェクト
は
Courtyard
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
Roof
の
instance
では %n
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
オブジェクト
オブジェクト
は
建物
の
instance
では %n
自己接続オブジェクト
は
Surrounded
対
オブジェクト
では %n
(=>
(
instance
?incline
SlopedArea
)
(
exists
(?top ?bottom ?height1 ?height2 ?U)
(
and
(
top
?top ?incline)
(
bottom
?bottom ?incline)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?top
(
MeasureFn
?height1 ?U))
(
earthAltitude
?bottom
(
MeasureFn
?height2 ?U))
(
greaterThan
?height1 ?height2))))
Geography.kif 4107-4118
自己接続オブジェクト
は
SlopedArea
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
,
実数
,
実数
and
測定単位
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
測定単位
は
UnitOfLength
の
instance
では %n
earthAltitude
自己接続オブジェクト
and
実数
の
測定単位
(s)
earthAltitude
自己接続オブジェクト
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では %n
(=>
(
rainfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(
and
(
instance
?RAIN
Raining
)
(
eventLocated
?RAIN ?AREA)
(
during
(
WhenFn
?RAIN) ?TIME)
(
instance
?CLTN
Collection
)
(
objectTransferred
?RAIN ?CLTN)
(
instance
?R
Water
)
(
member
?R ?CLTN)
(
instance
?BUCKET
Container
)
(
bottom
?BOTTOM ?BUCKET)
(
attribute
?BOTTOM
Flat
)
(
located
?BUCKET ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
attribute
?BUCKET
ContainerEmpty
))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?CLTN ?BUCKET)
(
top
?TOP ?CLTN)
(
depth
?TOP ?BOTTOM ?RAINFALL)
(
equal
?RAINFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 2830-2855
rainfallIntensity
地理的地域
,
時間間隔
and
関数量
移動
コレクション
,
物理
,
自己接続オブジェクト
,
エンティティー
,
自己接続オブジェクト
and
移動
FALL
移動
は
Raining
の
instance
では %n
eventLocated
移動
and
地理的地域
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
コレクション
は
コレクション
の
instance
では %n
objectTransferred
移動
and
コレクション
物理
は
水
の
instance
では %n
物理
は
コレクション
の
member
では %n
自己接続オブジェクト
は
Container
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
Flat
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
地理的地域
に
located
して %n
ContainerEmpty
は
自己接続オブジェクト
の
attribute
では %n は
時間間隔
の
beginning
の
during
holds %n{ない}
コレクション
は
自己接続オブジェクト
に
located
して %n
コレクション
の
top
は
エンティティー
では
depth
エンティティー
,
自己接続オブジェクト
and
移動
FALL
移動
FALL は
時間間隔
+
関数量
と
equal
では %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
snowfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
(
and
(
instance
?PROCESS
Snowing
)
(
eventLocated
?PROCESS ?AREA)
(
during
(
WhenFn
?PROCESS) ?TIME)
(
instance
?STUFF
Snow
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?BOARD
BoardOrBlock
)
(
bottom
?BOTTOM ?BOARD)
(
attribute
?BOTTOM
Flat
)
(
located
?BOARD ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
not
(
exists
(?X)
(
and
(
instance
?X
Object
)
(
located
?X ?BOARD)))))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?STUFF ?BOARD)
(
top
?TOP ?STUFF)
(
depth
?TOP ?BOTTOM ?SNOWFALL)
(
equal
?SNOWFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 3035-3062
snowfallIntensity
地理的地域
,
時間間隔
and
関数量
移動
オブジェクト
,
自己接続オブジェクト
,
エンティティー
,
自己接続オブジェクト
and
エンティティー
移動
は
Snowing
の
instance
では %n
eventLocated
移動
and
地理的地域
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
Snow
の
instance
では %n
objectTransferred
移動
and
オブジェクト
自己接続オブジェクト
は
BoardOrBlock
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
Flat
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
地理的地域
に
located
して %n
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
自己接続オブジェクト
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
自己接続オブジェクト
に
located
して %n
オブジェクト
の
top
は
エンティティー
では
depth
エンティティー
,
自己接続オブジェクト
and
エンティティー
エンティティー
は
時間間隔
+
関数量
と
equal
では %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
waterDepth
?AREA ?DEPTH)
(
exists
(?BOTTOM ?TOP)
(
and
(
depth
?TOP ?BOTTOM ?DEPTH)
(
top
?TOP ?AREA)
(
bottom
?BOTTOM ?AREA))))
Mid-level-ontology.kif 17572-17578
waterDepth
自己接続オブジェクト
and
長さ測定
自己接続オブジェクト
自己接続オブジェクト
depth
自己接続オブジェクト
,
自己接続オブジェクト
and
長さ測定
自己接続オブジェクト
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
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