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
connected
Sigma KEE - connected
connected
appearance as argument number 1
(
documentation
connected
ChineseLanguage
"(connected ?OBJ1 ?OBJ2)的意思是 ?OBJ1
meetsSpatially
?OBJ2 或者是 ?OBJ1
overlapsSpatially
?OBJ2。")
chinese_format.kif 2823-2824
(
documentation
connected
EnglishLanguage
"(connected ?OBJ1 ?OBJ2) means that ?OBJ1
meetsSpatially
?OBJ2 or that ?OBJ1
overlapsSpatially
?OBJ2.")
Merge.kif 9506-9507
(
documentation
connected
JapaneseLanguage
"(connected ?OBJ1 ?OBJ2) とは、?OBJ1
meetsSpatially
?OBJ2または ?OBJ1
overlapsSpatially
?OBJ2 という意味である。")
japanese_format.kif 1565-1566
(
domain
connected
1
Object
)
Merge.kif 9503-9503
connected
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
connected
2
Object
)
Merge.kif 9504-9504
connected
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
connected
BinaryPredicate
)
Merge.kif 9499-9499
connected
は
2進述語
の
instance
では %n
(
instance
connected
ReflexiveRelation
)
Merge.kif 9501-9501
connected
は
反射関係
の
instance
では %n
(
instance
connected
SpatialRelation
)
Merge.kif 9500-9500
connected
は
空間的関係
の
instance
では %n
(
instance
connected
SymmetricRelation
)
Merge.kif 9502-9502
connected
は
対称関係
の
instance
では %n
appearance as argument number 2
(
disjointRelation
crosses
connected
)
Merge.kif 4200-4200
crosses
と
connected
は
disjoint
では %n
(
format
ChineseLanguage
connected
"%1 和 %2 %n 是
connected
")
chinese_format.kif 361-361
(
format
EnglishLanguage
connected
"%1 is %n
connected
to %2")
english_format.kif 364-364
(
format
FrenchLanguage
connected
"%1 est %n connect� � %2")
french_format.kif 209-209
(
format
ItalianLanguage
connected
"%1 è %n connesso a %2")
relations-it.txt 52-52
(
format
JapaneseLanguage
connected
"%1 は %2 と
connected
して %n ")
japanese_format.kif 2016-2016
(
format
PortugueseLanguage
connected
"%1 e' %n conectado com %2")
portuguese_format.kif 161-161
(
format
cb
connected
"%1 %n ay ikabit sa %2")
relations-cb.txt 86-86
(
format
cz
connected
"%1 %p{je} %n{nen�} spojen s %2")
relations-cz.txt 216-216
(
format
de
connected
"%1 wird an %2 %n{nicht} angeschlossen")
relations-de.txt 480-480
(
format
hi
connected
"%1 %2 se judaa huaa %n hai")
relations-hindi.txt 93-93
(
format
ro
connected
"%1 %n{nu} este
connected
%t{îmbinat} cu %2")
relations-ro.kif 229-229
(
format
sv
connected
"%1 är %n{inte} sammanlänkad med %2")
relations-sv.txt 226-226
(
format
tg
connected
"%1 %n ay nagkabit sa %2")
relations-tg.txt 120-120
(
relatedInternalConcept
meetsSpatially
connected
)
Merge.kif 9570-9570
meetsSpatially
は
connected
に
internally
関連して %n
(
subrelation
connectedEngineeringComponents
connected
)
Merge.kif 16095-16095
connectedEngineeringComponents
は
connected
の
subrelation
では %n
(
subrelation
overlapsSpatially
connected
)
Merge.kif 4033-4033
overlapsSpatially
は
connected
の
subrelation
では %n
(
termFormat
ChineseLanguage
connected
"相连")
chinese_format.kif 362-362
(
termFormat
ChineseLanguage
connected
"连接的")
domainEnglishFormat.kif 16638-16638
(
termFormat
ChineseTraditionalLanguage
connected
"連接的")
domainEnglishFormat.kif 16637-16637
(
termFormat
EnglishLanguage
connected
"connected")
domainEnglishFormat.kif 16636-16636
(
termFormat
tg
connected
"nagkabit")
relations-tg.txt 121-121
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(=>
(
and
(
bottom
?BOTTOM ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?BOTTOM)))
(
orientation
?PART ?BOTTOM
Above
))
Merge.kif 9715-9720
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
と
connected
して
オブジェクト
は
Above
対
自己接続オブジェクト
では %n
(=>
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3)))
(
connects
?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9554-9560
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
オブジェクト
に
connect
s %n{ない}
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 514-518
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
and
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2))
(
connected
?PART1 ?PART2))
(
instance
?OBJ
SelfConnectedObject
))
Merge.kif 9521-9525
オブジェクト
は
オブジェクト
と
オブジェクト
の
union
と
equal
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
自己接続オブジェクト
の
instance
では %n
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
工程
は
取付け
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
objectAttached
工程
and
エンティティー
objectAttached
工程
and
エンティティー
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10577-10593
オブジェクト
は
BodySegment
の
instance
では %n
オブジェクト
は
BodySegment
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
motion
は
動作
の
instance
では %n
moves
motion
and
オブジェクト
ステートメント
motion
2
motion
2 は
動作
の
instance
では %n
moves
motion
2 and
オブジェクト
motion
2 の
time
の existence は
motion
の
time
の existence の
during
に takes %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?CHANNEL
Channel
)
(
instance
?BODY
BodyOfWater
)
(
connected
?CHANNEL ?BODY))
(
larger
?BODY ?CHANNEL))
Geography.kif 5330-5335
オブジェクト
は
Channel
の
instance
では %n
オブジェクト
は
BodyOfWater
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
よりも
larger
%n
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
工程
は
取外し
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
objectDetached
工程
and
エンティティー
objectDetached
工程
and
エンティティー
(=>
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2)))
(
exists
(?M)
(
relativeAngle
?L1 ?L2 ?M)))
Merge.kif 17882-17892
オブジェクト
は
オブジェクト
の
instance
では %n
LongAndThin
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
LongAndThin
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
equal
では
実数
relativeAngle
オブジェクト
,
オブジェクト
and
実数
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5380-5395
地理的地域
は
InlandWaterSystem
の
instance
では %n
地理的地域
は
水域
の
instance
では %n
地理的地域
は
水域
の
instance
では %n
地理的地域
は
地理的地域
と
equal
では
地理的地域
は
地理的地域
と
connected
して
geographicSubregion
地理的地域
and
地理的地域
geographicSubregion
地理的地域
and
地理的地域
オブジェクト
オブジェクト
は
水域
の
instance
では %n
オブジェクト
は
地理的地域
と
equal
では
オブジェクト
は
地理的地域
と
equal
では
オブジェクト
は
地理的地域
の
part
では %n
オブジェクト
は
地理的地域
と
地理的地域
に
connect
s %n{ない}
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10046-10050
オブジェクト
は
HoleRegion
を
properly
fill
s %n{ない}
オブジェクト
は
オブジェクト
と
connected
して
HoleRegion
は
オブジェクト
と
connected
して
(=>
(
and
(
side
?SIDE ?OBJECT)
(
part
?PART ?OBJECT)
(
not
(
connected
?PART ?SIDE)))
(
exists
(?DIRECT)
(
orientation
?SIDE ?PART ?DIRECT)))
Merge.kif 9745-9751
自己接続オブジェクト
の
side
は
自己接続オブジェクト
では
オブジェクト
は
自己接続オブジェクト
の
part
では %n
オブジェクト
は
自己接続オブジェクト
と
connected
して
位置属性
自己接続オブジェクト
は
位置属性
対
オブジェクト
では %n
(=>
(
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
(=>
(
connected
?OBJ1 ?OBJ2)
(
or
(
meetsSpatially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9509-9513
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
consequent
(<=>
(
orientation
?OBJ1 ?OBJ2
Adjacent
)
(
or
(
orientation
?OBJ1 ?OBJ2
Near
)
(
connected
?OBJ1 ?OBJ2)))
Merge.kif 17103-17107
オブジェクト
は
Adjacent
対
オブジェクト
では %n
オブジェクト
は
Near
対
オブジェクト
では %n
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
and
(
connected
?X ?Y)
(
part
?Y ?Z))
(
connected
?X ?Z))
Geography.kif 514-518
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
and
(
connectedBodyPart
?A ?B)
(
attribute
?H
Healthy
))
(
exists
(?AI ?BI)
(
and
(
instance
?AI ?A)
(
instance
?BI ?B)
(
part
?AI ?H)
(
part
?BI ?H)
(
connected
?AI ?BI))))
Mid-level-ontology.kif 11967-11977
connectedBodyPart
体の部分
and
体の部分
Healthy
は
オブジェクト
の
attribute
では %n
体の部分
I
体の部分
I
体の部分
I は
体の部分
の
instance
では %n
体の部分
I は
体の部分
の
instance
では %n
体の部分
I は
オブジェクト
の
part
では %n
体の部分
I は
オブジェクト
の
part
では %n
体の部分
I は
体の部分
I と
connected
して
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
connectedBodyPartTypes
体の部分
,
体の部分
and
物
物
C は
物
の
instance
では %n
病気または症候群
は
オブジェクト
の
attribute
では
オブジェクト
オブジェクト
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
物
C の
part
では %n
オブジェクト
は
物
C の
part
では %n
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
and
(
instance
?ATTACH
Attaching
)
(
patient
?ATTACH ?OBJ1)
(
patient
?ATTACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ATTACH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?ATTACH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 12360-12367
工程
は
取付け
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?DETACH
Detaching
)
(
patient
?DETACH ?OBJ1)
(
patient
?DETACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DETACH))
(
connected
?OBJ1 ?OBJ2))
(
holdsDuring
(
EndFn
(
WhenFn
?DETACH))
(
not
(
connected
?OBJ1 ?OBJ2)))))
Merge.kif 12408-12415
工程
は
取外し
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?DSAVE
DataSaving
)
(
resource
?DSAVE ?RES)
(
instance
?RES
ElectronicDataStorageDevice
))
(
exists
(?DEV)
(
and
(
instance
?DEV
ElectricDevice
)
(
instrument
?DSAVE ?DEV)
(
holdsDuring
(
WhenFn
?DSAVE)
(
connected
?RES ?DEV)))))
Media.kif 690-700
工程
は
DataSaving
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
オブジェクト
は
ElectronicDataStorageDevice
の
instance
では %n
オブジェクト
オブジェクト
は
ElectricDevice
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
オブジェクト
と
connected
して は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?E
Extension
)
(
moves
?E ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?E ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?E))))
Mid-level-ontology.kif 10647-10657
Motion
は
Extension
の
instance
では %n
moves
motion
and
オブジェクト
オブジェクト
オブジェクト
C
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
C は
MuscularContraction
の
instance
では %n
オブジェクト
は
motion
の
instrument
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
C は
motion
% の
subprocess
では %n
(=>
(
and
(
instance
?F
Flexion
)
(
moves
?F ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?F ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?F))))
Mid-level-ontology.kif 10607-10617
Motion
は
Flexion
の
instance
では %n
moves
motion
and
オブジェクト
オブジェクト
オブジェクト
C
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
C は
MuscularContraction
の
instance
では %n
オブジェクト
は
motion
の
instrument
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
C は
motion
% の
subprocess
では %n
(=>
(
and
(
instance
?OBJ
SelfConnectedObject
)
(
equal
?OBJ
(
MereologicalSumFn
?PART1 ?PART2)))
(
connected
?PART1 ?PART2))
Merge.kif 9515-9519
オブジェクト
は
自己接続オブジェクト
の
instance
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
の
union
と
equal
では %n
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
and
(
instance
?PORT
PortFacility
)
(
capability
ShipBerthing
patient
?PORT))
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
Harbor
)
(
connected
?HARBOR ?PORT)
(
capability
ShipBerthing
path
?HARBOR))))
Transportation.kif 2949-2957
オブジェクト
は
PortFacility
の
instance
では %n
オブジェクト
は
ShipBerthing
を
patient
として行う
capable
では %n
オブジェクト
オブジェクト
は
Harbor
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
ShipBerthing
を
path
として行う
capable
では %n
(=>
(
and
(
instance
?RIVER
River
)
(
instance
?WATER
BodyOfWater
)
(
flows
?RIVER ?WATER))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
RiverMouth
)
(
streamOutfall
?MOUTH ?RIVER)
(
connected
?MOUTH ?WATER))))
Geography.kif 5661-5670
River
は
River
の
instance
では %n
オブジェクト
は
BodyOfWater
の
instance
では %n
flows
River
and
オブジェクト
水域
水域
は
RiverMouth
の
instance
では %n
streamOutfall
水域
and
River
水域
は
オブジェクト
と
connected
して
(=>
(
and
(
instance
?TOUCH
Touching
)
(
agent
?TOUCH ?OBJ1)
(
patient
?TOUCH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?TOUCH))
(
not
(
connected
?OBJ1 ?OBJ2)))
(
holdsDuring
(
EndFn
(
WhenFn
?TOUCH))
(
connected
?OBJ1 ?OBJ2))))
Merge.kif 11485-11492
工程
は
接触
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
エンティティー
と
connected
して は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
と
connected
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?W
VehicleWheel
)
(
instance
?V
RoadVehicle
)
(
part
?W ?V))
(
exists
(?A)
(
and
(
instance
?A
Axle
)
(
component
?A ?V)
(
connected
?W ?A))))
Mid-level-ontology.kif 3538-3547
オブジェクト
は
VehicleWheel
の
instance
では %n
微粒子オブジェクト
は
RoadVehicle
の
instance
では %n
オブジェクト
は
微粒子オブジェクト
の
part
では %n
微粒子オブジェクト
微粒子オブジェクト
は
Axle
の
instance
では %n
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
オブジェクト
は
微粒子オブジェクト
と
connected
して
(=>
(
and
(
properlyFills
?OBJ1 ?HOLE)
(
connected
?OBJ2 ?OBJ1))
(
connected
?HOLE ?OBJ2))
Merge.kif 10046-10050
オブジェクト
は
HoleRegion
を
properly
fill
s %n{ない}
オブジェクト
は
オブジェクト
と
connected
して
HoleRegion
は
オブジェクト
と
connected
して
(=>
(
attribute
?X
Locked
)
(
exists
(?LOCK ?CLOSE ?MOVE)
(
and
(
instance
?LOCK
Lock
)
(
connected
?LOCK ?X)
(
instance
?CLOSE
Closing
)
(
patient
?CLOSE ?LOCK)
(
instance
?MOVE
Motion
)
(
earlier
(
WhenFn
?CLOSE)
(
WhenFn
(
attribute
?X
Locked
)))
(
holdsDuring
(
WhenFn
(
attribute
?X
Locked
))
(
not
(
modalAttribute
(
patient
?MOVE ?X)
Possibility
))))))
Mid-level-ontology.kif 2698-2714
Locked
は
オブジェクト
の
attribute
では %n
オブジェクト
工程
and
エンティティー
オブジェクト
は
Lock
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
工程
は
Closing
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
エンティティー
は
motion
の
instance
では %n
工程
の
time
の existence は
Locked
は
オブジェクト
の
attribute
では %n の
time
の existence より
earlier
happens %n{ない} ステートメント
オブジェクト
は
エンティティー
の
patient
では %n には
Possibility
の
modal
force
が ない %p{ある} は
Locked
は
オブジェクト
の
attribute
では %n の
time
の existence の
during
holds %n{ない}
(=>
(
attribute
?X
PartialVacuum
)
(
exists
(?O ?G ?P1 ?P2 ?PM)
(
and
(
instance
?O
SelfConnectedObject
)
(
instance
?G
Region
)
(
not
(
equal
?G ?X))
(
connected
?X ?O)
(
connected
?G ?O)
(
measure
?G
(
MeasureFn
?P1 ?PM))
(
measure
?X
(
MeasureFn
?P2 ?PM))
(
instance
?PM
UnitOfAtmosphericPressure
)
(
greaterThan
?P1 ?P2))))
Cars.kif 383-396
PartialVacuum
は
オブジェクト
の
attribute
では %n
オブジェクト
オブジェクト
,
実数
,
実数
and
測定単位
オブジェクト
は
自己接続オブジェクト
の
instance
では %n
オブジェクト
は
地域
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfAtmosphericPressure
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
attribute
?X
Pressurized
)
(
exists
(?O ?G ?P1 ?P2 ?PM)
(
and
(
instance
?O
SelfConnectedObject
)
(
instance
?G
Region
)
(
not
(
equal
?G ?X))
(
connected
?X ?O)
(
connected
?G ?O)
(
measure
?G
(
MeasureFn
?P1 ?PM))
(
measure
?X
(
MeasureFn
?P2 ?PM))
(
instance
?PM
UnitOfAtmosphericPressure
)
(
greaterThan
?P2 ?P1))))
Cars.kif 403-416
Pressurized
は
オブジェクト
の
attribute
では %n
オブジェクト
オブジェクト
,
実数
,
実数
and
測定単位
オブジェクト
は
自己接続オブジェクト
の
instance
では %n
オブジェクト
は
地域
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfAtmosphericPressure
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
completelyFills
?OBJ1 ?HOLE)
(
forall
(?OBJ2)
(=>
(
connected
?OBJ2 ?HOLE)
(
connected
?OBJ2 ?OBJ1))))
Merge.kif 10039-10044
オブジェクト
は
HoleRegion
を
completely
fill
s %n{ない}
オブジェクト
オブジェクト
は
HoleRegion
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
connects
?OBJ1 ?OBJ2 ?OBJ3)
(
and
(
connected
?OBJ1 ?OBJ2)
(
connected
?OBJ1 ?OBJ3)
(
not
(
connected
?OBJ2 ?OBJ3))))
Merge.kif 9546-9552
オブジェクト
は
オブジェクト
と
オブジェクト
に
connect
s %n{ない}
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
equipmentType
?O ?T)
(
exists
(?D)
(
and
(
instance
?D ?T)
(
or
(
part
?D ?O)
(
connected
?D ?O)))))
Mid-level-ontology.kif 24327-24334
equipmentType
アーチファクト
and
デバイス
オブジェクト
オブジェクト
は
デバイス
の
instance
では %n
オブジェクト
は
アーチファクト
の
part
では %n
オブジェクト
は
アーチファクト
と
connected
して
(=>
(
flows
?FLUID1 ?FLUID2)
(
connected
?FLUID1 ?FLUID2))
Geography.kif 5442-5444
flows
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9935-9937
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
自己接続オブジェクト
と
connected
して
(=>
(
instance
?F
Fireplace
)
(
exists
(?C)
(
and
(
instance
?C
Chimney
)
(
connected
?F ?C))))
Mid-level-ontology.kif 15366-15371
オブジェクト
は
Fireplace
の
instance
では %n
オブジェクト
オブジェクト
は
Chimney
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
(=>
(
instance
?GULF
Gulf
)
(
exists
(?SEA)
(
and
(
or
(
instance
?SEA
Sea
)
(
instance
?SEA
Ocean
))
(
connected
?GULF ?SEA))))
Geography.kif 5129-5136
オブジェクト
は
Gulf
の
instance
では %n
オブジェクト
オブジェクト
は
Sea
の
instance
では %n
オブジェクト
は
Ocean
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
connected
GulfOfAden
ArabianSea
)
Geography.kif 5169-5169
GulfOfAden
は
ArabianSea
と
connected
して
(
connected
GulfOfMexico
CaribbeanSea
)
Geography.kif 5177-5177
GulfOfMexico
は
CaribbeanSea
と
connected
して
(
connected
GulfOfMexico
NorthAtlanticOcean
)
Geography.kif 5176-5176
GulfOfMexico
は
NorthAtlanticOcean
と
connected
して
(
connected
GulfOfOman
ArabianSea
)
Geography.kif 5161-5161
GulfOfOman
は
ArabianSea
と
connected
して
(
connected
IndianOcean
PersianGulf
)
Geography.kif 4631-4631
IndianOcean
は
PersianGulf
と
connected
して
(
connected
IndianOcean
SouthPacificOcean
)
Geography.kif 4630-4630
IndianOcean
は
SouthPacificOcean
と
connected
して
(
connected
IndianOcean
SouthernOcean
)
Geography.kif 4632-4632
IndianOcean
は
SouthernOcean
と
connected
して
(
connected
MississippiRiver
GulfOfMexico
)
CountriesAndRegions.kif 744-744
MississippiRiver
は
GulfOfMexico
と
connected
して
(
connected
PersianGulf
StraitOfHormuz
)
Geography.kif 5154-5154
PersianGulf
は
StraitOfHormuz
と
connected
して
(
connected
RedSea
GulfOfAden
)
Geography.kif 5168-5168
RedSea
は
GulfOfAden
と
connected
して
(
connected
StraitOfHormuz
GulfOfOman
)
Geography.kif 5160-5160
StraitOfHormuz
は
GulfOfOman
と
connected
して
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