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
meetsSpatially
Sigma KEE - meetsSpatially
meetsSpatially
appearance as argument number 1
(
disjointRelation
meetsSpatially
overlapsSpatially
)
Merge.kif 9574-9574
meetsSpatially
と
overlapsSpatially
は
disjoint
では %n
(
documentation
meetsSpatially
ChineseLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2)得意思是 ?OBJ1 和 ?OBJ2 是
connected
的但是 ?OBJ1 或 ?OBJ2 都没有跟对方
overlapsSpatially
。")
chinese_format.kif 2828-2829
(
documentation
meetsSpatially
EnglishLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 are
connected
but that neither ?OBJ1 nor ?OBJ2
overlapsSpatially
the other.")
Merge.kif 9576-9578
(
documentation
meetsSpatially
JapaneseLanguage
"(
meetsSpatially
?OBJ1 ?OBJ2) とは、?OBJ1 と ?OBJ2 は
connected
だが、?OBJ1 も ?OBJ2 も
overlapsSpatially
ではないという意味であ る。")
japanese_format.kif 1570-1572
(
domain
meetsSpatially
1
Object
)
Merge.kif 9568-9568
meetsSpatially
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
meetsSpatially
2
Object
)
Merge.kif 9569-9569
meetsSpatially
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
meetsSpatially
BinaryPredicate
)
Merge.kif 9573-9573
meetsSpatially
は
2進述語
の
instance
では %n
(
instance
meetsSpatially
IrreflexiveRelation
)
Merge.kif 9571-9571
meetsSpatially
は
非反射関係
の
instance
では %n
(
instance
meetsSpatially
SymmetricRelation
)
Merge.kif 9572-9572
meetsSpatially
は
対称関係
の
instance
では %n
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9570-9570
meetsSpatially
は
connected
に
internally
関連して %n
appearance as argument number 2
(
format
ChineseLanguage
meetsSpatially
"%1 %n 接上 %2")
chinese_format.kif 365-365
(
format
EnglishLanguage
meetsSpatially
"%1 %n{doesn't} meet%p{s} %2")
english_format.kif 368-368
(
format
FrenchLanguage
meetsSpatially
"%1 %n{ne} rencontre %n{pas} %2")
french_format.kif 211-211
(
format
ItalianLanguage
meetsSpatially
"%1 %n{non} incontra%p{s} %2")
relations-it.txt 179-179
(
format
JapaneseLanguage
meetsSpatially
"%1 は %2 と meet%p{s} %n{ない}")
japanese_format.kif 2018-2018
(
format
PortugueseLanguage
meetsSpatially
"%1 %n{nao} encontra %n %2")
portuguese_format.kif 163-163
(
format
cz
meetsSpatially
"%1 se %n{ne}dot�k� %2")
relations-cz.txt 218-218
(
format
de
meetsSpatially
"%1 schliesst %2 raeumlich %n{nicht} an")
relations-de.txt 486-486
(
format
hi
meetsSpatially
"%1 %2 se %n{nahiin} milataa hai")
relations-hindi.txt 217-217
(
format
ro
meetsSpatially
"%1 %n{nu} meet%t{întâlneºte} %2")
relations-ro.kif 231-231
(
format
sv
meetsSpatially
"%1 möter %n{inte} %2")
relations-sv.txt 228-228
(
format
tg
meetsSpatially
"%1 %n ay sumali sa %2")
relations-tg.txt 354-354
(
subrelation
grasps
meetsSpatially
)
Merge.kif 11494-11494
grasps
は
meetsSpatially
の
subrelation
では %n
(
termFormat
ChineseLanguage
meetsSpatially
"接触")
chinese_format.kif 366-366
(
termFormat
ChineseLanguage
meetsSpatially
"空间的符合")
domainEnglishFormat.kif 36917-36917
(
termFormat
ChineseTraditionalLanguage
meetsSpatially
"空間的符合")
domainEnglishFormat.kif 36916-36916
(
termFormat
EnglishLanguage
meetsSpatially
"meets spatially")
domainEnglishFormat.kif 36915-36915
(
termFormat
tg
meetsSpatially
"sa tabi ng")
relations-tg.txt 355-355
antecedent
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6231-6244
allergic
人[人間]
and
物質
物質
UB は
物質
の
instance
では %n
物質
UB は
人[人間]
と
meet
s %n{ない} は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
エンティティー
は
AllergicReaction
の
instance
では %n
人[人間]
が
エンティティー
を
experience
s %n{ない}
エンティティー
の
time
の existence は
時間位置
と
overlap
s %n{dない}
時間位置
の
beginning
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
LateralRecumbant
は
オブジェクト
の
attribute
では %n
オブジェクト
は
On
対
オブジェクト
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
は
LeftArm
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RightArm
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
LeftLeg
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RightLeg
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
オブジェクト
と
meet
ない
オブジェクト
は
オブジェクト
と
meet
ない は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
LateralRecumbant
は
オブジェクト
の
attribute
では %n
オブジェクト
は
On
対
オブジェクト
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
は
LeftArm
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RightArm
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
LeftLeg
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RightLeg
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
オブジェクト
と
meet
ない
オブジェクト
は
オブジェクト
と
meet
ない は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
オブジェクト
は
Armor
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
エンティティー
は
維持
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n
オブジェクト
が
エンティティー
を
experience
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
オブジェクト
は
Armor
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
エンティティー
は
損害を与える
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n
オブジェクト
が
エンティティー
を
experience
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
ConvexRoundShape
))
Mid-level-ontology.kif 5016-5025
オブジェクト
は
Bubble
の
instance
では %n
オブジェクト
属性
属性
は
オブジェクト
の
attribute
では %n
オブジェクト
は
Gas
と
equal
では
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
ConvexRoundShape
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
工程
は
Hurricane
の
instance
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
オブジェクト
に
located
して %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
NortheasternPacificOcean
と
equal
では %n
オブジェクト
は
NorthAtlanticOcean
と
equal
では %n
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
FreshWaterArea
))
(
instance
?INLET
FreshWaterArea
))
Geography.kif 5246-5251
オブジェクト
は
Inlet
の
instance
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
淡水地域
の
instance
では %n
オブジェクト
は
淡水地域
の
instance
では %n
(=>
(
and
(
instance
?INLET
Inlet
)
(
meetsSpatially
?INLET ?WATER)
(
instance
?WATER
SaltWaterArea
))
(
instance
?INLET
SaltWaterArea
))
Geography.kif 5239-5244
オブジェクト
は
Inlet
の
instance
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
塩水地域
の
instance
では %n
オブジェクト
は
塩水地域
の
instance
では %n
(=>
(
and
(
instance
?ISLE
Island
)
(
instance
?AREA
GeographicArea
)
(
meetsSpatially
?ISLE ?AREA))
(
not
(
instance
?AREA
LandArea
)))
Merge.kif 14208-14214
オブジェクト
は
島
の
instance
では %n
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
土地面積
の
instance
では
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
地理的地域
は
MaritimeShelfArea
の
instance
では %n
オブジェクト
は
ContinentalShelf
の
instance
では %n
AutonomousAgent
は
国民
の
instance
では %n
オブジェクト
は
AutonomousAgent
と
meet
s %n{ない}
claimedTerritory
地理的地域
and
AutonomousAgent
overlapsSpatially
地理的地域
and
オブジェクト
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
StandardAnatomicalPosition
は
オブジェクト
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Healthy
は
オブジェクト
の
attribute
では %n
時間間隔
は
MuscularContraction
の
instance
では %n
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
時間間隔
の
instrument
では %n
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
StandardAnatomicalPosition
は
オブジェクト
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Healthy
は
オブジェクト
の
attribute
では %n
時間間隔
は
MuscularContraction
の
instance
では %n
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
時間間隔
の
instrument
では %n
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
and
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17906-17931
relativeAngle
オブジェクト
,
オブジェクト
and
実数
physicalEnd
オブジェクト
and
オブジェクト
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
の
length
は
実数
1 の
測定単位
(s) では
オブジェクト
の
length
は
実数
2 の
測定単位
(s) では
オブジェクト
と
オブジェクト
の
distance
は
実数
3 の
測定単位
(s) では %n
physicalEnd
オブジェクト
and
オブジェクト
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
と
meet
ない
実数
は
ArcCosineFn
((
実数
3 +
実数
3 +
実数
1 +
実数
1) +
実数
2 +
実数
2) + 2.0 +
実数
1 +
実数
2 と
equal
では %n
(=>
(
meetsSpatially
?AREA1 ?AREA2)
(
not
(
overlapsSpatially
?AREA1 ?AREA2)))
Geography.kif 724-726
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
meetsSpatially
?OBJECT1 ?OBJECT2)
(
orientation
?OBJECT1 ?OBJECT2
Adjacent
))
Transportation.kif 864-866
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
Adjacent
対
オブジェクト
では %n
(=>
(
meetsSpatially
?X ?Y)
(
orientation
?X ?Y
Adjacent
))
Geography.kif 6163-6165
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
Adjacent
対
オブジェクト
では %n
consequent
(=>
(
and
(
attribute
?X ?SHAPE)
(
instance
?X
FourPosterBed
)
(
instance
?SHAPE
Quadrilateral
)
(
sideOfFigure
?SIDE1 ?SHAPE)
(
sideOfFigure
?SIDE2 ?SHAPE)
(
not
(
equal
?SIDE1 ?SIDE2)))
(
exists
(?POST ?FLOOR ?CORNER1 ?CORNER)
(
and
(
part
?POST ?X)
(
instance
?FLOOR
Floor
)
(
orientation
?X ?FLOOR
On
)
(
orientation
?POST ?FLOOR
Vertical
)
(
pointOfIntersection
?SIDE1 ?SIDE2 ?CORNER1)
(
attribute
?CORNER ?CORNER1)
(
meetsSpatially
?CORNER ?POST))))
Mid-level-ontology.kif 4078-4095
GeometricFigure
は
オブジェクト
の
attribute
では %n
オブジェクト
は
FourPosterBed
の
instance
では %n
GeometricFigure
は
Quadrilateral
の
instance
では %n
GeometricFigure
の
size
は
OneDimensionalFigure
では %n
GeometricFigure
の
size
は
OneDimensionalFigure
では %n
OneDimensionalFigure
は
OneDimensionalFigure
と
equal
では
オブジェクト
オブジェクト
,
GeometricPoint
and
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Floor
の
instance
では %n
オブジェクト
は
On
対
オブジェクト
では %n
オブジェクト
は
Vertical
対
オブジェクト
では %n
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Mid-level-ontology.kif 29752-29756
covers
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?LA ?O)
(
meetsSpatially
?LL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?RA ?O))
(
not
(
meetsSpatially
?RL ?O)))))
Anatomy.kif 1838-1860
LateralRecumbant
は
オブジェクト
の
attribute
では %n
オブジェクト
は
On
対
オブジェクト
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
は
LeftArm
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RightArm
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
LeftLeg
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RightLeg
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
オブジェクト
と
meet
ない
オブジェクト
は
オブジェクト
と
meet
ない は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
LateralRecumbant
)
(
orientation
?H ?O
On
)))
(
instance
?LA
LeftArm
)
(
part
?LA ?H)
(
instance
?RA
RightArm
)
(
part
?RA ?H)
(
instance
?LL
LeftLeg
)
(
part
?LL ?H)
(
instance
?RL
RightLeg
)
(
part
?RL ?H)
(
or
(
meetsSpatially
?RA ?O)
(
meetsSpatially
?RL ?O)))
(
holdsDuring
?T
(
and
(
not
(
meetsSpatially
?LA ?O))
(
not
(
meetsSpatially
?LL ?O)))))
Anatomy.kif 1862-1884
LateralRecumbant
は
オブジェクト
の
attribute
では %n
オブジェクト
は
On
対
オブジェクト
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
は
LeftArm
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RightArm
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
LeftLeg
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RightLeg
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
オブジェクト
と
meet
ない
オブジェクト
は
オブジェクト
と
meet
ない は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Prone
)
(
orientation
?H ?O
On
)))
(
instance
?C
Chest
)
(
part
?C ?H))
(
meetsSpatially
?C ?O))
Anatomy.kif 1799-1807
Prone
は
オブジェクト
の
attribute
では %n
オブジェクト
は
On
対
オブジェクト
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
は
Chest
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
holdsDuring
?T
(
and
(
attribute
?H
Supine
)
(
orientation
?H ?O
On
)))
(
equal
?B
(
BackFn
?H)))
(
meetsSpatially
?B ?O))
Anatomy.kif 1814-1821
Supine
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
On
対
オブジェクト
では %n は
時間位置
の
during
holds %n{ない}
自己接続オブジェクト
は
自己接続オブジェクト
の
back
と
equal
では %n
自己接続オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
instance
?B
Blade
)
(
instance
?CUT
Cutting
)
(
instance
?OBJ
Object
)
(
instrument
?CUT ?B)
(
patient
?CUT ?OBJ))
(
meetsSpatially
?B ?OBJ))
Mid-level-ontology.kif 22018-22025
オブジェクト
は
Blade
の
instance
では %n
工程
は
切断
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
instance
?C
Cavitating
)
(
instance
?P
Pump
)
(
attribute
?P
DeviceOn
)
(
attribute
?L1
Liquid
)
(
contains
?P ?L1))
(
exists
(?PP ?L2)
(
and
(
part
?PP ?P)
(
hasPurpose
?PP
(
and
(
attribute
?L2
Liquid
)
(
meetsSpatially
?L2 ?PP)))
(
holdsDuring
(
WhenFn
?C)
(
not
(
exists
(?L3)
(
and
(
attribute
?L3
Liquid
)
(
meetsSpatially
?PP ?L3))))))))
Cars.kif 1741-1761
物理
は
Cavitating
の
instance
では %n
自己接続オブジェクト
は
Pump
の
instance
では %n
DeviceOn
は
自己接続オブジェクト
の
attribute
では %n
Liquid
は
オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
自己接続オブジェクト
P
エンティティー
自己接続オブジェクト
P は
自己接続オブジェクト
の
part
では %n
自己接続オブジェクト
P は
Liquid
は
エンティティー
の
attribute
では %n
エンティティー
は
自己接続オブジェクト
P と
meet
s %n{ない} の 目的 %n{ない}
エンティティー
Liquid
は
エンティティー
の
attribute
では %n
自己接続オブジェクト
P は
エンティティー
と
meet
s %n{ない} は
物理
の
time
の existence の
during
holds %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
?HOLE1
HoleRegion
)
(
properPart
?HOLE2 ?HOLE1))
(
exists
(?OBJ)
(
and
(
meetsSpatially
?HOLE1 ?OBJ)
(
not
(
meetsSpatially
?HOLE2 ?OBJ)))))
Merge.kif 9939-9947
オブジェクト
は
HoleRegion
の
instance
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
オブジェクト
と
meet
ない
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?P)
(
and
(
part
?P ?H)
(
meetsSpatially
?P ?HR))))
Cars.kif 4287-4299
オブジェクト
は
Reel
の
instance
では %n
工程
は
保持
の
instance
では %n
オブジェクト
は
微粒子オブジェクト
の
instance
では %n
LongAndThin
は
オブジェクト
の
attribute
では %n
Pliable
は
オブジェクト
の
attribute
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
instance
?Isthmus
Isthmus
)
(
side
?Leftside ?Isthmus)
(
side
?Rightside ?Isthmus)
(
not
(
equal
?Leftside ?Rightside)))
(
exists
(?Region1 ?Region2 ?Water1 ?Water2)
(
and
(
instance
?Region1
LandArea
)
(
instance
?Region2
LandArea
)
(
between
?Region1 ?Isthmus ?Region2)
(
instance
?Water1
WaterArea
)
(
instance
?Water2
WaterArea
)
(
meetsSpatially
?Leftside ?Water1)
(
meetsSpatially
?Rightside ?Water2))))
Geography.kif 5823-5837
自己接続オブジェクト
は
Isthmus
の
instance
では %n
自己接続オブジェクト
の
side
は
自己接続オブジェクト
では
自己接続オブジェクト
の
side
は
自己接続オブジェクト
では
自己接続オブジェクト
は
自己接続オブジェクト
と
equal
では
オブジェクト
オブジェクト
,
オブジェクト
and
オブジェクト
オブジェクト
は
土地面積
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
自己接続オブジェクト
は
オブジェクト
と
オブジェクト
の
between
では %n
オブジェクト
は
水域
の
instance
では %n
オブジェクト
は
水域
の
instance
では %n
自己接続オブジェクト
は
オブジェクト
と
meet
s %n{ない}
自己接続オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
オブジェクト
は
LeafSpring
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
RoadVehicle
の
instance
では %n
ステートメント
オブジェクト
2
オブジェクト
2 は
LeafSpring
の
instance
では %n
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
2 と
equal
では
オブジェクト
は
オブジェクト
2 と
meet
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
?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
?Range
MountainRange
)
(
part
?Mountain1 ?Range))
(
exists
(?Mountain2)
(
and
(
component
?Mountain2 ?Range)
(
instance
?Mountain2
Mountain
)
(
meetsSpatially
?Mountain1 ?Mountain2))))
Geography.kif 4016-4024
微粒子オブジェクト
は
MountainRange
の
instance
では %n
オブジェクト
は
微粒子オブジェクト
の
part
では %n
微粒子オブジェクト
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
微粒子オブジェクト
は
Mountain
の
instance
では %n
オブジェクト
は
微粒子オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
オブジェクト
は
Saw
の
instance
では %n
工程
は
切断
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
エンティティー
,
エンティティー
,
時間間隔
,
時間位置
,
時間位置
and
オブジェクト
工程
は
motion
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
は
CuttingDevice
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
工程
の
patient
では %n
時間位置
は
時間間隔
の
instance
では %n
時間位置
は
時間間隔
の
instance
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
エンティティー
は
方向属性
の
instance
では %n
エンティティー
は
方向属性
の
instance
では %n
プロセス
工程
のエンテテイは
エンティティー
を
moving
して %n は
時間位置
の
during
holds %n{ない}
プロセス
工程
のエンテテイは
エンティティー
を
moving
して %n
エンティティー
は
エンティティー
と
equal
では %n
oppositeDirection
エンティティー
and
エンティティー
~{
エンティティー
は
エンティティー
と
equal
では %n } ~{
oppositeDirection
エンティティー
and
エンティティー
} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?SHORE
ShoreArea
)
(
instance
?WATER
WaterArea
)
(
orientation
?SHORE ?WATER
Adjacent
))
(
exists
(?LINE)
(
and
(
instance
?LINE
Shoreline
)
(
part
?LINE ?SHORE)
(
meetsSpatially
?LINE ?WATER))))
Geography.kif 6152-6161
オブジェクト
は
ShoreArea
の
instance
では %n
オブジェクト
は
水域
の
instance
では %n
オブジェクト
は
Adjacent
対
オブジェクト
では %n
オブジェクト
オブジェクト
は
Shoreline
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %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{ない}
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 787-794
工程
は
Typhoon
の
instance
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
オブジェクト
は
NorthwesternPacificOcean
に
located
して %n
オブジェクト
は
NorthwesternPacificOcean
と
meet
s %n{ない}
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1289-1293
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
physicalEnd
?E1 ?O)
(
physicalEnd
?E2 ?O)
(
not
(
equal
?E1 ?E2)))
(
not
(
meetsSpatially
?E1 ?E2)))
Mid-level-ontology.kif 1280-1287
physicalEnd
オブジェクト
and
オブジェクト
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
と
meet
ない
(=>
(
and
(
wears
?P ?B)
(
instance
?B
Belt
))
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?P ?C)
(
meetsSpatially
?B ?C))))
Mid-level-ontology.kif 5072-5080
動物
は % を
wear
s %n{ない}
WearableItem
は
Belt
の
instance
では %n
WearableItem
WearableItem
は
衣類
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
WearableItem
と
meet
s %n{ない}
(=>
(
and
(
wears
?P ?C)
(
instance
?C
Collar
))
(
exists
(?N)
(
and
(
instance
?N
Neck
)
(
part
?N ?P)
(
meetsSpatially
?C ?N))))
Mid-level-ontology.kif 5120-5128
動物
は % を
wear
s %n{ない}
WearableItem
は
Collar
の
instance
では %n
オブジェクト
オブジェクト
は
Neck
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
WearableItem
は
オブジェクト
と
meet
s %n{ない}
(=>
(
and
(
wears
?P ?G)
(
instance
?G
Glove
))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?P)
(
meetsSpatially
?G ?H))))
Mid-level-ontology.kif 5135-5143
動物
は % を
wear
s %n{ない}
WearableItem
は
Glove
の
instance
では %n
オブジェクト
オブジェクト
は
Hand
の
instance
では %n
オブジェクト
は
動物
の
part
では %n
WearableItem
は
オブジェクト
と
meet
s %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
meetsSpatially
Alabama
Mississippi
)
CountriesAndRegions.kif 866-866
Alabama
は
Mississippi
と
meet
s %n{ない}
(
meetsSpatially
Alaska
ArcticOcean
)
CountriesAndRegions.kif 882-882
Alaska
は
ArcticOcean
と
meet
s %n{ない}
(
meetsSpatially
Alaska
Canada
)
CountriesAndRegions.kif 880-880
Alaska
は
Canada
と
meet
s %n{ない}
(
meetsSpatially
Alaska
PacificOcean
)
CountriesAndRegions.kif 881-881
Alaska
は
PacificOcean
と
meet
s %n{ない}
(
meetsSpatially
Arizona
California
)
CountriesAndRegions.kif 885-885
Arizona
は
California
と
meet
s %n{ない}
(
meetsSpatially
Arizona
Mexico
)
CountriesAndRegions.kif 886-886
Arizona
は
Mexico
と
meet
s %n{ない}
(
meetsSpatially
Arizona
Nevada
)
CountriesAndRegions.kif 884-884
Arizona
は
Nevada
と
meet
s %n{ない}
(
meetsSpatially
Arkansas
Louisiana
)
CountriesAndRegions.kif 892-892
Arkansas
は
Louisiana
と
meet
s %n{ない}
(
meetsSpatially
Arkansas
Oklahoma
)
CountriesAndRegions.kif 890-890
Arkansas
は
Oklahoma
と
meet
s %n{ない}
(
meetsSpatially
Arkansas
Texas
)
CountriesAndRegions.kif 891-891
Arkansas
は
Texas
と
meet
s %n{ない}
(
meetsSpatially
BassasDaIndia
IndianOcean
)
CountriesAndRegions.kif 136-136
BassasDaIndia
は
IndianOcean
と
meet
s %n{ない}
(
meetsSpatially
BouvetIsland
SouthAtlanticOcean
)
CountriesAndRegions.kif 138-138
BouvetIsland
は
SouthAtlanticOcean
と
meet
s %n{ない}
(
meetsSpatially
California
Mexico
)
CountriesAndRegions.kif 904-904
California
は
Mexico
と
meet
s %n{ない}
(
meetsSpatially
California
NewMexico
)
CountriesAndRegions.kif 905-905
California
は
NewMexico
と
meet
s %n{ない}
(
meetsSpatially
California
Oregon
)
CountriesAndRegions.kif 906-906
California
は
Oregon
と
meet
s %n{ない}
(
meetsSpatially
California
PacificOcean
)
CountriesAndRegions.kif 903-903
California
は
PacificOcean
と
meet
s %n{ない}
(
meetsSpatially
California
Washington
)
CountriesAndRegions.kif 907-907
California
は
Washington
と
meet
s %n{ない}
(
meetsSpatially
Canada
UnitedStates
)
CountriesAndRegions.kif 410-410
Canada
は
UnitedStates
と
meet
s %n{ない}
(
meetsSpatially
Colorado
Arizona
)
CountriesAndRegions.kif 910-910
Colorado
は
Arizona
と
meet
s %n{ない}
(
meetsSpatially
Colorado
NewMexico
)
CountriesAndRegions.kif 911-911
Colorado
は
NewMexico
と
meet
s %n{ない}
(
meetsSpatially
Colorado
Texas
)
CountriesAndRegions.kif 912-912
Colorado
は
Texas
と
meet
s %n{ない}
(
meetsSpatially
Colorado
Utah
)
CountriesAndRegions.kif 909-909
Colorado
は
Utah
と
meet
s %n{ない}
(
meetsSpatially
Delaware
Maryland
)
CountriesAndRegions.kif 920-920
Delaware
は
Maryland
と
meet
s %n{ない}
(
meetsSpatially
Delaware
NorthAtlanticOcean
)
CountriesAndRegions.kif 919-919
Delaware
は
NorthAtlanticOcean
と
meet
s %n{ない}
(
meetsSpatially
Delaware
Pennsylvania
)
CountriesAndRegions.kif 921-921
Delaware
は
Pennsylvania
と
meet
s %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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