Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 9816-9819
(
documentation
surface
JapaneseLanguage
"(
surface
?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 の 最大接続
superficialPart
であることを意味する。 注:一部の
SelfConnectedObject
s には複数 の表面がある。例:テニスボールのような中空の物体は、内側と外側の両方の面を持っている。")
japanese_format.kif 1582-1584
(
domain
surface
1
SelfConnectedObject
)
Merge.kif 9813-9813
surface
の数値 1 引数は
自己接続オブジェクト
の
instance
では
(
domain
surface
2
SelfConnectedObject
)
Merge.kif 9814-9814
surface
の数値 2 引数は
自己接続オブジェクト
の
instance
では
(
instance
surface
AsymmetricRelation
)
Merge.kif 9810-9810
surface
は
非対称関係
の
instance
では
(
instance
surface
BinaryPredicate
)
Merge.kif 9811-9811
surface
は
2進述語
の
instance
では
(
subrelation
surface
superficialPart
)
Merge.kif 9812-9812
surface
は
superficialPart
の
subrelation
では
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 56290-56290
(
termFormat
EnglishLanguage
surface
"surface")
domainEnglishFormat.kif 56289-56289
(
termFormat
de
surface
"flaeche")
terms-de.txt 155-155
antecedent
(=>
(
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
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
は
自己接続オブジェクト
の
part
では
equal
オブジェクト
and
オブジェクト
と
オブジェクト
間のライン
equal
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
Outside
対
自己接続オブジェクト
では
(=>
(
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
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
は
自己接続オブジェクト
の
part
では
equal
オブジェクト
and
オブジェクト
と
オブジェクト
間のライン
equal
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
Inside
対
自己接続オブジェクト
では
(=>
(
and
(
instance
?ATTRIBUTE
ShapeAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17919-17924
属性
は
形状属性
の
instance
では
属性
は
自己接続オブジェクト
の
attribute
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
属性
は
自己接続オブジェクト
の
attribute
では
(=>
(
and
(
instance
?ATTRIBUTE
TextureAttribute
)
(
attribute
?OBJ ?ATTRIBUTE)
(
surface
?SURFACE ?OBJ))
(
attribute
?SURFACE ?ATTRIBUTE))
Merge.kif 17947-17952
属性
は
TextureAttribute
の
instance
では
属性
は
自己接続オブジェクト
の
attribute
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
属性
は
自己接続オブジェクト
の
attribute
では
(=>
(
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 7479-7499
オブジェクト
は
Crystal
の
instance
では
MonoCrystalline
は
オブジェクト
の
attribute
では
自己接続オブジェクト
は
物質
の
instance
では
Solid
は
自己接続オブジェクト
の
attribute
では
PolyCrystalline
は
自己接続オブジェクト
の
attribute
では
自己接続オブジェクト
は
物質
の
instance
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
LNT
整数
and
オブジェクト
オブジェクト
LNT は
コレクション
の
instance
では
memberCount
オブジェクト
LNT and
整数
整数
は 4
greater
では
オブジェクト
は
オブジェクト
LNT の
member
では
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
は
オブジェクト
と
meet
s
(=>
(
and
(
instance
?G
ExternalGear
)
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
instance
?T
GearTooth
)
(
part
?T ?G)
(
surface
?ST ?T))
(
not
(
part
?ST ?G)))
engineering.kif 775-785
オブジェクト
は
ExternalGear
の
instance
では
HoleRegion
は
HoleRegion
の
instance
では
equal
オブジェクト
and ホール
HoleRegion
の
host
自己接続オブジェクト
は
GearTooth
の
instance
では
自己接続オブジェクト
は
オブジェクト
の
part
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
自己接続オブジェクト
は
オブジェクト
の
part
では
(=>
(
and
(
instance
?G
Gear
)
(
superficialPart
?SG ?G)
(
instance
?T
GearTooth
)
(
part
?T ?G)
(
surface
?ST ?T))
(
part
?ST ?SG))
engineering.kif 822-829
オブジェクト
は
Gear
の
instance
では
オブジェクト
は
オブジェクト
の
superficial
部分では
自己接続オブジェクト
は
GearTooth
の
instance
では
自己接続オブジェクト
は
オブジェクト
の
part
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
自己接続オブジェクト
は
オブジェクト
の
part
では
(=>
(
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 7834-7846
自己接続オブジェクト
は
LiquidDrop
の
instance
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
ステートメント
自己接続オブジェクト
S
エンティティー
エンティティー
は
物質
の
instance
では
Liquid
は
エンティティー
の
attribute
では
equal
自己接続オブジェクト
and
エンティティー
自己接続オブジェクト
S は
エンティティー
の
surface
では
自己接続オブジェクト
は
自己接続オブジェクト
S と
meet
s には
Unlikely
の
modal
force
が ある
(=>
(
and
(
instance
?RUNWAY
PavedRunway
)
(
surface
?SURFACE ?RUNWAY))
(
or
(
instance
?SURFACE
Asphalt
)
(
instance
?SURFACE
Concrete
)))
Transportation.kif 1388-1394
自己接続オブジェクト
は
PavedRunway
の
instance
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
自己接続オブジェクト
は
Asphalt
の
instance
では
自己接続オブジェクト
は
Concrete
の
instance
では
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Asphalt
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1396-1401
自己接続オブジェクト
は
Runway
の
instance
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
自己接続オブジェクト
は
Asphalt
の
instance
では
自己接続オブジェクト
は
PavedRunway
の
instance
では
(=>
(
and
(
instance
?RUNWAY
Runway
)
(
surface
?SURFACE ?RUNWAY)
(
instance
?SURFACE
Concrete
))
(
instance
?RUNWAY
PavedRunway
))
Transportation.kif 1403-1408
自己接続オブジェクト
は
Runway
の
instance
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
自己接続オブジェクト
は
Concrete
の
instance
では
自己接続オブジェクト
は
PavedRunway
の
instance
では
(=>
(
and
(
instance
?T
GearTooth
)
(
instance
?G
InternalGear
)
(
part
?T ?G)
(
surface
?S ?T))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
part
?S ?G))))
engineering.kif 803-814
自己接続オブジェクト
は
GearTooth
の
instance
では
オブジェクト
は
InternalGear
の
instance
では
自己接続オブジェクト
は
オブジェクト
の
part
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
HoleRegion
HoleRegion
は
HoleRegion
の
instance
では
equal
オブジェクト
and ホール
HoleRegion
の
host
自己接続オブジェクト
は
オブジェクト
の
part
では
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
FootLength
)))
Geography.kif 5091-5096
自己接続オブジェクト
は
Ocean
の
instance
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
elevation
自己接続オブジェクト
and 0.0 の
FootLength
(s)
(=>
(
and
(
instance
?ocean
Ocean
)
(
surface
?top ?ocean))
(
elevation
?top
(
MeasureFn
0.0
Meter
)))
Geography.kif 5084-5089
自己接続オブジェクト
は
Ocean
の
instance
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
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 4239-4250
オブジェクト
は
UndergroundArea
の
instance
では
測定単位
は
UnitOfLength
の
instance
では
earthAltitude
オブジェクト
and
実数
の
測定単位
(s)
自己接続オブジェクト
は
PlanetEarth
の
surface
では
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
は
Below
対
オブジェクト
では
earthAltitude
オブジェクト
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では
(=>
(
surface
?OBJ1 ?OBJ2)
(
forall
(?OBJ3)
(=>
(
superficialPart
?OBJ3 ?OBJ2)
(
part
?OBJ3 ?OBJ1))))
Merge.kif 9821-9826
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
オブジェクト
オブジェクト
は
自己接続オブジェクト
の
superficial
部分では
オブジェクト
は
自己接続オブジェクト
の
part
では
consequent
(<=>
(
earthAltitude
?OBJ ?ALT)
(
exists
(?SEA)
(
and
(
altitude
?OBJ ?SEA ?ALT)
(
surface
?SEA
PlanetEarth
))))
Geography.kif 2939-2944
earthAltitude
オブジェクト
and
長さ測定
自己接続オブジェクト
オブジェクト
の
altitude
は
自己接続オブジェクト
では
自己接続オブジェクト
は
PlanetEarth
の
surface
では
(=>
(
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 7834-7846
自己接続オブジェクト
は
LiquidDrop
の
instance
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
ステートメント
自己接続オブジェクト
S
エンティティー
エンティティー
は
物質
の
instance
では
Liquid
は
エンティティー
の
attribute
では
equal
自己接続オブジェクト
and
エンティティー
自己接続オブジェクト
S は
エンティティー
の
surface
では
自己接続オブジェクト
は
自己接続オブジェクト
S と
meet
s には
Unlikely
の
modal
force
が ある
(=>
(
and
(
instance
?PAINT
Painting
)
(
patient
?PAINT ?SURFACE)
(
resource
?PAINT ?STUFF))
(
exists
(?OBJ)
(
and
(
surface
?SURFACE ?OBJ)
(
instance
?STUFF
Paint
))))
Mid-level-ontology.kif 3631-3639
工程
は
Painting
の
instance
では
自己接続オブジェクト
は
工程
の
patient
では
オブジェクト
は
工程
の
resource
では
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
オブジェクト
は
Paint
の
instance
では
(=>
(
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 22764-22794
命題
は
Argument
の
instance
では
工程
は
推理
の
instance
では
命題
は
Archeology
の
instance
では
命題
は
命題
の
sub
-proposition では
工程
は
命題
の内容を
express
es
工程
エンティティー
,
物理
,
実数
,
エンティティー
and
エンティティー
工程
は
Discovering
の
instance
では
物理
は
オブジェクト
の
instance
では
物理
は
工程
の
patient
では
工程
は
工程
への
reference
を includes
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens
物理
の
age
は
実数
の
YearDuration
(s) では
実数
は 50 より
greater
では
エンティティー
は
エンティティー
の
surface
では
エンティティー
は
BodyOfWater
の
instance
では
物理
は
Below
対
エンティティー
では
エンティティー
は
エンティティー
の
surface
では
エンティティー
は
土地面積
の
instance
では
物理
は
Below
対
エンティティー
では は
工程
の
time
の existence の immediately
before
の
during
holds
(=>
(
equal
(
MeasureFn
(
PerFn
(
MeasureFn
?F
KilogramForce
)
(
MeasureFn
?A
SquareMillimeter
))
VickersPyramidNumber
)
(
VickersHardnessFn
?CLASS))
(
modalAttribute
(
exists
(?SUB ?P ?D ?H ?S)
(
and
(
instance
?SUB ?CLASS)
(
instance
?P
Pushing
)
(
destination
?P ?SUB)
(
instance
?D
Diamond
)
(
shape
?D
SquarePyramid
)
(
patient
?P ?D)
(
result
?P ?H)
(
instance
?H
HoleRegion
)
(
part
?H ?SUB)
(
surface
?S ?H)
(
totalArea
?S
(
MeasureFn
?A
SquareMillimeter
))
(
measure
?P
(
MeasureFn
?F
KilogramForce
))))
Likely
))
Mid-level-ontology.kif 10473-10494
equal
PerFn
実数
の
KilogramForce
(s) and
実数
の
SquareMillimeter
(s) の
VickersPyramidNumber
(s) and
VickersHardnessFn
物質
ステートメント
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
物質
の
instance
では
エンティティー
は
Pushing
の
instance
では
エンティティー
は
エンティティー
に
end
s
エンティティー
は
Diamond
の
instance
では
shape
エンティティー
and
SquarePyramid
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
エンティティー
の
result
では
エンティティー
は
HoleRegion
の
instance
では
エンティティー
は
エンティティー
の
part
では
エンティティー
は
エンティティー
の
surface
では
totalArea
エンティティー
and
実数
の
SquareMillimeter
(s)
エンティティー
の
measure
は
実数
の
KilogramForce
(s) では には
Likely
の
modal
force
が ある
(=>
(
equal
(
MeasureFn
?X
PoundForce
)
(
JankaHardnessFn
?CLASS))
(
modalAttribute
(
exists
(?T ?W ?P ?B ?H ?S)
(
and
(
instance
?T ?CLASS)
(
part
?W ?T)
(
instance
?W
Wood
)
(
instance
?P
Pushing
)
(
destination
?P ?W)
(
instance
?B
Ball
)
(
material
?B
Steel
)
(
patient
?P ?B)
(
sphereRadius
?B
(
MeasureFn
5.64
Millimeter
))
(
result
?P ?H)
(
instance
?H
HoleRegion
)
(
part
?H ?W)
(
surface
?S ?W)
(
distance
?S ?H
(
MeasureFn
5.64
Millimeter
))
(
measure
?P
(
MeasureFn
?X
PoundForce
))))
Likely
))
Mid-level-ontology.kif 10397-10420
equal
実数
の
PoundForce
(s) and
JankaHardnessFn
BotanicalTree
ステートメント
エンティティー
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
BotanicalTree
の
instance
では
エンティティー
は
エンティティー
の
part
では
エンティティー
は
Wood
の
instance
では
エンティティー
は
Pushing
の
instance
では
エンティティー
は
エンティティー
に
end
s
エンティティー
は
Ball
の
instance
では
エンティティー
は
Steel
で
made
エンティティー
は
エンティティー
の
patient
では
sphereRadius
エンティティー
and 5.64 の
Millimeter
(s)
エンティティー
は
エンティティー
の
result
では
エンティティー
は
HoleRegion
の
instance
では
エンティティー
は
エンティティー
の
part
では
エンティティー
は
エンティティー
の
surface
では
エンティティー
と
エンティティー
の
distance
は 5.64 の
Millimeter
(s) では
エンティティー
の
measure
は
実数
の
PoundForce
(s) では には
Likely
の
modal
force
が ある
(=>
(
instance
?B
Bubble
)
(
exists
(?S)
(
and
(
surface
?S ?B)
(
attribute
?S
Liquid
))))
Mid-level-ontology.kif 5940-5945
自己接続オブジェクト
は
Bubble
の
instance
では
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
Liquid
は
自己接続オブジェクト
の
attribute
では
(=>
(
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 10054-10063
物理
は
Detergent
の
instance
では
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
除却
の
instance
では
エンティティー
は
物質
の
instance
では
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
エンティティー
から
originate
s
エンティティー
は
エンティティー
の
surface
では の 目的
(=>
(
instance
?L
Lesion
)
(
exists
(?S ?O)
(
and
(
surface
?S ?O)
(
instance
?O
Organ
)
(
located
?L ?S))))
Mid-level-ontology.kif 10725-10731
物理
は
Lesion
の
instance
では
自己接続オブジェクト
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
自己接続オブジェクト
は
臓器
の
instance
では
物理
は
自己接続オブジェクト
に
located
して
(=>
(
instance
?OBJ1
VirusCoreEnvelope
)
(
exists
(?OBJ2)
(
and
(
surface
?OBJ1 ?OBJ2)
(
instance
?OBJ2
ViralCore
))))
VirusProteinAndCellPart.kif 1213-1218
自己接続オブジェクト
は
VirusCoreEnvelope
の
instance
では
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
自己接続オブジェクト
は
ViralCore
の
instance
では
(=>
(
instance
?P
PeelOrRind
)
(
exists
(?X)
(
and
(
part
?P ?X)
(
instance
?X
FruitOrVegetable
)
(
surface
?P ?X))))
Food.kif 2309-2315
自己接続オブジェクト
は
PeelOrRind
の
instance
では
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では
自己接続オブジェクト
は
果物または野菜
の
instance
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
(=>
(
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 3705-3716
物理
は
PaintingDevice
の
instance
では
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
物質
の
instance
では
エンティティー
は
覆い
の
instance
では
エンティティー
は
オブジェクト
の
instance
では
エンティティー
は
エンティティー
の
surface
では
物理
は
エンティティー
の
agent
では
エンティティー
は
エンティティー
の
instrument
では
エンティティー
は
エンティティー
の
patient
では の 目的
(=>
(
instance
?SKIN
Skin
)
(
exists
(?SURFACE ?ANIMAL)
(
and
(
surface
?SURFACE ?ANIMAL)
(
part
?SKIN ?ANIMAL)
(
instance
?ANIMAL
Animal
)
(
overlapsSpatially
?SKIN ?SURFACE))))
Mid-level-ontology.kif 12322-12329
オブジェクト
は
Skin
の
instance
では
自己接続オブジェクト
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
オブジェクト
は
自己接続オブジェクト
の
part
では
自己接続オブジェクト
は
動物
の
instance
では
overlapsSpatially
オブジェクト
and
自己接続オブジェクト
(=>
(
instance
?W
CellWall
)
(
exists
(?CELL ?SURF)
(
and
(
instance
?CELL
Cell
)
(
part
?W ?CELL)
(
surface
?SURF ?CELL)
(
part
?SURF ?W))))
VirusProteinAndCellPart.kif 477-484
オブジェクト
は
CellWall
の
instance
では
自己接続オブジェクト
自己接続オブジェクト
自己接続オブジェクト
は
細胞
の
instance
では
オブジェクト
は
自己接続オブジェクト
の
part
では
自己接続オブジェクト
は
自己接続オブジェクト
の
surface
では
自己接続オブジェクト
は
オブジェクト
の
part
では
(=>
(
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 3915-3924
物理
は
LandVehicle
の
instance
では
物理
は
エンティティー
エンティティー
エンティティー
は
地理的地域
の
surface
では
エンティティー
は
交通手段
の
instance
では
物理
は
エンティティー
と
meet
s は
エンティティー
の
time
の existence の
during
holds の 目的
(=>
(
instance
?X
SubwaySystem
)
(
exists
(?SURF)
(
and
(
surface
?SURF
GeographicArea
)
(
orientation
?X ?SURF
Below
))))
Transportation.kif 328-333
オブジェクト
は
SubwaySystem
の
instance
では
自己接続オブジェクト
自己接続オブジェクト
は
地理的地域
の
surface
では
オブジェクト
は
Below
対
自己接続オブジェクト
では
(=>
(
instance
?place
UndergroundArea
)
(
exists
(?area ?ground)
(
and
(
surface
?ground
PlanetEarth
)
(
part
?area ?ground)
(
orientation
?place ?area
Below
))))
Geography.kif 4231-4237
オブジェクト
は
UndergroundArea
の
instance
では
オブジェクト
自己接続オブジェクト
自己接続オブジェクト
は
PlanetEarth
の
surface
では
オブジェクト
は
自己接続オブジェクト
の
part
では
オブジェクト
は
Below
対
オブジェクト
では
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