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
surface
Sigma KEE - surface
surface
appearance as argument number 1
(
documentation
surface
ChineseLanguage
"(
surface
?OBJ1 ?OBJ2)的意思是 ?OBJ1 和 ?OBJ2 的
superficialPart
是以最大的程度联系着。注:有些
SelfConnectedObject
有超过一块表面,例如: 一个像网球中空物体,就有内在和外在的表面。")
chinese_format.kif 2838-2840
(
documentation
surface
EnglishLanguage
"(
surface
?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected
superficialPart
of ?OBJ2. Note that some
SelfConnectedObject
s have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.")
Merge.kif 9680-9683
(
documentation
surface
JapaneseLanguage
"(
surface
?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 の 最大接続
superficialPart
であることを意味する。 注:一部の
SelfConnectedObject
s には複数 の表面がある。例:テニスボールのような中空の物体は、内側と外側の両方の面を持っている。")
japanese_format.kif 1582-1584
(
domain
surface
1
SelfConnectedObject
)
Merge.kif 9677-9677
surface
の数値 1 引数は
自己接続オブジェクト
の
instance
では %n
(
domain
surface
2
SelfConnectedObject
)
Merge.kif 9678-9678
surface
の数値 2 引数は
自己接続オブジェクト
の
instance
では %n
(
instance
surface
AsymmetricRelation
)
Merge.kif 9674-9674
surface
は
非対称関係
の
instance
では %n
(
instance
surface
BinaryPredicate
)
Merge.kif 9675-9675
surface
は
2進述語
の
instance
では %n
(
subrelation
surface
superficialPart
)
Merge.kif 9676-9676
surface
は
superficialPart
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
surface
"%1 %n 是 %2 的
surface
")
chinese_format.kif 373-373
(
format
EnglishLanguage
surface
"%1 is %n a
surface
of %2")
english_format.kif 374-374
(
format
FrenchLanguage
surface
"%1 est %n une
surface
de %2")
french_format.kif 215-215
(
format
ItalianLanguage
surface
"%1 è %n una superficie di %2")
relations-it.txt 290-290
(
format
JapaneseLanguage
surface
"%1 は %2 の
surface
では %n")
japanese_format.kif 2021-2021
(
format
PortugueseLanguage
surface
"%1 e' %n uma superficie de %2")
portuguese_format.kif 167-167
(
format
cz
surface
"%1 %p{je} %n{nen�} povrchem %2")
relations-cz.txt 222-222
(
format
de
surface
"%1 ist eine flaeche von %2 %n{nicht}")
relations-de.txt 498-498
(
format
hi
surface
"%1 %2 kii sataha %n hai")
relations-hindi.txt 61-61
(
format
ro
surface
"%1 %n{nu} este o
surface
%t{suprafaþã} a lui %2")
relations-ro.kif 235-235
(
format
sv
surface
"%1 är %n{inte} en yta av %2")
relations-sv.txt 232-232
(
format
tg
surface
"%1 %n ay ang ibabaw ng %2")
relations-tg.txt 482-482
(
termFormat
ChineseLanguage
surface
"表面")
chinese_format.kif 374-374
(
termFormat
ChineseTraditionalLanguage
surface
"表面")
domainEnglishFormat.kif 56286-56286
(
termFormat
EnglishLanguage
surface
"surface")
domainEnglishFormat.kif 56285-56285
antecedent
(<=>
(
and
(
altitude
?AIRCRAFT ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
)
(
instance
?AIRCRAFT
Aircraft
))
(
absoluteHeight
?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1462-1467
Aircraft
の
altitude
は
自己接続オブジェクト
では %n
自己接続オブジェクト
は
PlanetEarth
の
surface
では %n
Aircraft
は
Aircraft
の
instance
では %n
absoluteHeight
Aircraft
and
AltitudeMeasure
(=>
(
and
(
attribute
?O
Concave
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Outside
))
ComputingBrands.kif 2693-2704
凹
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
間のライン と
equal
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Outside
対
自己接続オブジェクト
では %n
(=>
(
and
(
attribute
?O
Convex
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Inside
))
ComputingBrands.kif 2665-2676
凸
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
間のライン と
equal
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Inside
対
自己接続オブジェクト
では %n
(=>
(
and
(
instance
?ATTRIBUTE
ShapeAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17736-17741
属性
は
形状属性
の
instance
では %n
属性
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
属性
は
自己接続オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?ATTRIBUTE
TextureAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17764-17769
属性
は
TextureAttribute
の
instance
では %n
属性
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
属性
は
自己接続オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
オブジェクト
は
Crystal
の
instance
では %n
MonoCrystalline
は
オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
物質
の
instance
では %n
Solid
は
自己接続オブジェクト
の
attribute
では %n
PolyCrystalline
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
物質
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
LNT
整数
and
オブジェクト
オブジェクト
LNT は
コレクション
の
instance
では %n
memberCount
オブジェクト
LNT and
整数
整数
は 4
greater
では %n
オブジェクト
は
オブジェクト
LNT の
member
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
自己接続オブジェクト
は
LiquidDrop
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
ステートメント
自己接続オブジェクト
S
エンティティー
エンティティー
は
物質
の
instance
では %n
Liquid
は
エンティティー
の
attribute
では %n
自己接続オブジェクト
は
エンティティー
と
equal
では
自己接続オブジェクト
S は
エンティティー
の
surface
では %n
自己接続オブジェクト
は
自己接続オブジェクト
S と
meet
s %n{ない} には
Unlikely
の
modal
force
が ある
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
surface
?OBJ
PlanetEarth
)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?BAROMETER)
(
instance
?BAROMETER
BarometricAltimeter
))
(
elevation
?OBJ ?QUANTITY))
MilitaryDevices.kif 1488-1496
工程
は
計測
の
instance
では %n
自己接続オブジェクト
は
工程
の
patient
では %n
自己接続オブジェクト
は
PlanetEarth
の
surface
では %n
長さ測定
は
工程
の
result
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
BarometricAltimeter
の
instance
では %n
elevation
自己接続オブジェクト
and
長さ測定
(=>
(
and
(
instance
?O
Object
)
(
attribute
?O
ConvexRoundShape
)
(
surface
?TO ?O)
(
instance
?TO
TwoDimensionalObject
))
(
forall
(?P)
(
and
(
part
?P ?O)
(
attribute
?P
GeometricPoint
)
(
pointOfFigure
?P ?O)
(
meetsSpatially
?P ?O)
(
meetsSpatially
?P ?TO)
(
exists
(?T)
(
tangent
?T ?TO)))))
Mid-level-ontology.kif 4819-4833
自己接続オブジェクト
は
オブジェクト
の
instance
では %n
ConvexRoundShape
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
自己接続オブジェクト
は
TwoDimensionalObject
の
instance
では %n
GeometricPoint
GeometricPoint
は
自己接続オブジェクト
の
part
では %n
GeometricPoint
は
GeometricPoint
の
attribute
では %n
GeometricPoint
の
vertex
は
自己接続オブジェクト
では %n
GeometricPoint
は
自己接続オブジェクト
と
meet
s %n{ない}
GeometricPoint
は
自己接続オブジェクト
と
meet
s %n{ない}
OneDimensionalFigure
自己接続オブジェクト
の
tangent
は
OneDimensionalFigure
では %n
(=>
(
and
(
instance
?RUNWAY
PavedRunway
)
(
surface
?SURFACE ?RUNWAY))
(
or
(
instance
?SURFACE
Asphalt
)
(
instance
?SURFACE
Concrete
)))
Transportation.kif 1316-1322
自己接続オブジェクト
は
PavedRunway
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
自己接続オブジェクト
は
Asphalt
の
instance
では %n
自己接続オブジェクト
は
Concrete
の
instance
では %n
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Asphalt
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1324-1329
自己接続オブジェクト
は
Runway
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
自己接続オブジェクト
は
Asphalt
の
instance
では %n
自己接続オブジェクト
は
PavedRunway
の
instance
では %n
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Concrete
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1331-1336
自己接続オブジェクト
は
Runway
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
自己接続オブジェクト
は
Concrete
の
instance
では %n
自己接続オブジェクト
は
PavedRunway
の
instance
では %n
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 4837-4842
自己接続オブジェクト
は
Ocean
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
elevation
自己接続オブジェクト
and 0.0 の
FootLength
(s)
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 4830-4835
自己接続オブジェクト
は
Ocean
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
elevation
自己接続オブジェクト
and 0.0 の
Meter
(s)
(=>
(
and
(
instance
?place
UndergroundArea
)
(
instance
?U
UnitOfLength
)
(
earthAltitude
?place
(
MeasureFn
?alt1 ?U))
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
)
(
earthAltitude
?area
(
MeasureFn
?alt2 ?U)))
(
greaterThan
?alt2 ?alt1))
Geography.kif 3999-4010
オブジェクト
は
UndergroundArea
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
earthAltitude
オブジェクト
and
実数
の
測定単位
(s)
自己接続オブジェクト
は
PlanetEarth
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
Below
対
オブジェクト
では %n
earthAltitude
オブジェクト
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では %n
(=>
(
surface
?OBJ1 ?OBJ2)
(
forall
(?OBJ3)
(=>
(
superficialPart
?OBJ3 ?OBJ2)
(
part
?OBJ3 ?OBJ1))))
Merge.kif 9685-9690
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
オブジェクト
は
自己接続オブジェクト
の
superficial
部分では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
consequent
(<=>
(
earthAltitude
?OBJ ?ALT)
(
exists
(?SEA)
(
and
(
altitude
?OBJ ?SEA ?ALT)
(
surface
?SEA
PlanetEarth
))))
Geography.kif 2781-2786
earthAltitude
オブジェクト
and
長さ測定
自己接続オブジェクト
オブジェクト
の
altitude
は
自己接続オブジェクト
では %n
自己接続オブジェクト
は
PlanetEarth
の
surface
では %n
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
自己接続オブジェクト
は
LiquidDrop
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
ステートメント
自己接続オブジェクト
S
エンティティー
エンティティー
は
物質
の
instance
では %n
Liquid
は
エンティティー
の
attribute
では %n
自己接続オブジェクト
は
エンティティー
と
equal
では
自己接続オブジェクト
S は
エンティティー
の
surface
では %n
自己接続オブジェクト
は
自己接続オブジェクト
S と
meet
s %n{ない} には
Unlikely
の
modal
force
が ある
(=>
(
and
(
instance
?MEASURE
Measuring
)
(
patient
?MEASURE ?OBJ)
(
result
?MEASURE ?QUANTITY)
(
instrument
?MEASURE ?ABSOLUTEMETER)
(
instance
?ABSOLUTEMETER
AbsoluteAltimeter
))
(
exists
(?OBJ2)
(
and
(
altitude
?OBJ ?OBJ2 ?QUANTITY)
(
surface
?OBJ2
PlanetEarth
))))
MilitaryDevices.kif 1441-1451
工程
は
計測
の
instance
では %n
物理
は
工程
の
patient
では %n
長さ測定
は
工程
の
result
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
AbsoluteAltimeter
の
instance
では %n
物理
2
物理
の
altitude
は
物理
2 では %n
物理
2 は
PlanetEarth
の
surface
では %n
(=>
(
and
(
instance
?PAINT
Painting
)
(
patient
?PAINT ?SURFACE)
(
resource
?PAINT ?STUFF))
(
exists
(?OBJ)
(
and
(
surface
?SURFACE ?OBJ)
(
instance
?STUFF
Paint
))))
Mid-level-ontology.kif 3188-3196
工程
は
Painting
の
instance
では %n
自己接続オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
工程
の
resource
では %n
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
Paint
の
instance
では %n
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
命題
は
Argument
の
instance
では %n
工程
は
推理
の
instance
では %n
命題
は
Archeology
の
instance
では %n
命題
は
命題
の
sub
-proposition では %n
工程
は
命題
の内容を
express
es %n{ない}
工程
エンティティー
,
物理
,
実数
,
エンティティー
and
エンティティー
工程
は
Discovering
の
instance
では %n
物理
は
オブジェクト
の
instance
では %n
物理
は
工程
の
patient
では %n
工程
は
工程
への
reference
を includes %n{ない}
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
物理
の
age
は
実数
の
YearDuration
(s) では
実数
は 50 より
greater
では %n
エンティティー
は
エンティティー
の
surface
では %n
エンティティー
は
BodyOfWater
の
instance
では %n
物理
は
Below
対
エンティティー
では %n
エンティティー
は
エンティティー
の
surface
では %n
エンティティー
は
土地面積
の
instance
では %n
物理
は
Below
対
エンティティー
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
(=>
(
instance
?B
Bubble
)
(
exists
(?S)
(
and
(
surface
?S ?B)
(
attribute
?S
Liquid
))))
Mid-level-ontology.kif 5003-5008
自己接続オブジェクト
は
Bubble
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
Liquid
は
自己接続オブジェクト
の
attribute
では %n
(=>
(
instance
?DETERGENT
Detergent
)
(
hasPurpose
?DETERGENT
(
exists
(?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?SUBSTANCE
Substance
)
(
patient
?REMOVE ?SUBSTANCE)
(
origin
?REMOVE ?SURFACE)
(
surface
?SURFACE ?OBJECT)))))
Mid-level-ontology.kif 8848-8857
物理
は
Detergent
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
除却
の
instance
では %n
エンティティー
は
物質
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
の
surface
では %n の 目的 %n{ない}
(=>
(
instance
?L
Lesion
)
(
exists
(?S ?O)
(
and
(
surface
?S ?O)
(
instance
?O
Organ
)
(
located
?L ?S))))
Mid-level-ontology.kif 9396-9402
物理
は
Lesion
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
自己接続オブジェクト
は
臓器
の
instance
では %n
物理
は
自己接続オブジェクト
に
located
して %n
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
surface
?OBJ1 ?OBJ2)
(
instance
?OBJ2
ViralCore
))))
VirusProteinAndCellPart.kif 1205-1210
自己接続オブジェクト
は
VirusCoreEnvelope
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
自己接続オブジェクト
は
ViralCore
の
instance
では %n
(=>
(
instance
?P
PeelOrRind
)
(
exists
(?X)
(
and
(
part
?P ?X)
(
instance
?X
FruitOrVegetable
)
(
surface
?P ?X))))
Food.kif 2302-2308
自己接続オブジェクト
は
PeelOrRind
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では %n
自己接続オブジェクト
は
果物または野菜
の
instance
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
(=>
(
instance
?PD
PaintingDevice
)
(
hasPurpose
?PD
(
exists
(?STUFF ?COVER ?SURF ?OBJ)
(
and
(
instance
?STUFF
Substance
)
(
instance
?COVER
Covering
)
(
instance
?OBJ
Object
)
(
surface
?SURF ?OBJ)
(
agent
?COVER ?PD)
(
instrument
?COVER ?STUFF)
(
patient
?COVER ?SURF)))))
Mid-level-ontology.kif 3262-3273
物理
は
PaintingDevice
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
物質
の
instance
では %n
エンティティー
は
覆い
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
エンティティー
の
surface
では %n
物理
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 10991-10998
オブジェクト
は
Skin
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
自己接続オブジェクト
は
動物
の
instance
では %n
overlapsSpatially
オブジェクト
and
自己接続オブジェクト
(=>
(
instance
?W
CellWall
)
(
exists
(?CELL ?SURF)
(
and
(
instance
?CELL
Cell
)
(
part
?W ?CELL)
(
surface
?SURF ?CELL)
(
part
?SURF ?W))))
VirusProteinAndCellPart.kif 473-480
オブジェクト
は
CellWall
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
自己接続オブジェクト
は
細胞
の
instance
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では %n
自己接続オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
instance
?X
LandVehicle
)
(
hasPurpose
?X
(
exists
(?EV ?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
instance
?EV
Transportation
)
(
holdsDuring
(
WhenFn
?EV)
(
meetsSpatially
?X ?SURF))))))
Mid-level-ontology.kif 3472-3481
物理
は
LandVehicle
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
地理的地域
の
surface
では %n
エンティティー
は
交通手段
の
instance
では %n
物理
は
エンティティー
と
meet
s %n{ない} は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
オブジェクト
は
SubwaySystem
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
地理的地域
の
surface
では %n
オブジェクト
は
Below
対
自己接続オブジェクト
では %n
(=>
(
instance
?place
UndergroundArea
)
(
exists
(?area ?ground)
(
and
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
))))
Geography.kif 3991-3997
オブジェクト
は
UndergroundArea
の
instance
では %n
オブジェクト
自己接続オブジェクト
自己接続オブジェクト
は
PlanetEarth
の
surface
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
Below
対
オブジェクト
では %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