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
path
Sigma KEE - path
path
appearance as argument number 1
(
documentation
path
ChineseLanguage
"(
path
?MOTION ?PATH)的意思是 ?PATH 是 ?MOTION 在上移动 的一条路线。例如:高速公路101以下命题的路径:那辆车驶向高速公路101。")
chinese_format.kif 3000-3001
(
documentation
path
EnglishLanguage
"(
path
?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101.")
Merge.kif 11100-11102
(
documentation
path
JapaneseLanguage
"(
path
?MOTION ?PATH) は、?PATH が ?MOTION が発生す るルートであることを意味する。例:高速道路 101 は、次の命題のパスである: 車で、高速道路 101 を 走らせた。")
japanese_format.kif 1762-1764
(
domain
path
1
Motion
)
Merge.kif 11097-11097
path
の数値 1 引数は
motion
の
instance
では %n
(
domain
path
2
Object
)
Merge.kif 11098-11098
path
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
path
CaseRole
)
Merge.kif 11092-11092
path
は
格役割
の
instance
では %n
(
instance
path
TotalValuedRelation
)
Merge.kif 11093-11093
path
は
合計値関係
の
instance
では %n
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11096-11096
path
は
eventPartlyLocated
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
path
"%2%n是%1发生的
path
")
chinese_format.kif 575-575
(
format
EnglishLanguage
path
"%2 is %n
path
along which %1 occurs")
english_format.kif 580-580
(
format
FrenchLanguage
path
"%2 est %n le chemin le long duquel %1 se produit")
french_format.kif 341-341
(
format
ItalianLanguage
path
"%2 è %n cammino mentre %1 si verifica")
relations-it.txt 216-216
(
format
JapaneseLanguage
path
"%2 は %1 が 発生する
path
では %n")
japanese_format.kif 2097-2097
(
format
PortugueseLanguage
path
"%2 e' %n o caminho ao longo do qual %1 ocorre")
portuguese_format.kif 293-293
(
format
cz
path
"%2 %p{je} %n{nen�} cesta pod�l kter� se vyskytuje %1")
relations-cz.txt 349-349
(
format
de
path
"%2 ist der pfad entlang dem %1 geschieht")
relations-de.txt 755-755
(
format
hi
path
"%1 %2 ke raaste men %n hotaa hai")
relations-hindi.txt 254-254
(
format
ro
path
"%2 %n{nu} este
path
%t{rutã} de-a lungul cãreia are loc %1")
relations-ro.kif 363-363
(
format
sv
path
"%2 är en väg längs med %1 %n{inte} inträffar")
relations-sv.txt 378-378
(
format
tg
path
"%2 %n ay ang landas sa %1 nangyari")
relations-tg.txt 408-408
(
termFormat
ChineseLanguage
path
"路径")
chinese_format.kif 576-576
(
termFormat
ChineseTraditionalLanguage
path
"路徑")
domainEnglishFormat.kif 44765-44765
(
termFormat
EnglishLanguage
path
"path")
domainEnglishFormat.kif 44764-44764
antecedent
(=>
(
and
(
betweenOnPath
?O1 ?O2 ?O3 ?PATH)
(
instance
?T
Transfer
)
(
path
?T ?PATH)
(
origin
?T ?O1)
(
destination
?T ?O3))
(
and
(
beforeOnPath
?O1 ?O2 ?PATH ?T)
(
beforeOnPath
?O2 ?O3 ?PATH ?T)))
Mid-level-ontology.kif 29767-29776
betweenOnPath
オブジェクト
,
オブジェクト
,
オブジェクト
and
オブジェクト
移動
は
移動
の
instance
では %n
オブジェクト
は
移動
が 発生する
path
では %n
移動
は
オブジェクト
から
originate
s %n{ない}
移動
は
オブジェクト
に
end
s %n{ない}
beforeOnPath
オブジェクト
,
オブジェクト
,
オブジェクト
and
移動
beforeOnPath
オブジェクト
,
オブジェクト
,
オブジェクト
and
移動
(=>
(
and
(
instance
?CONN
WirelessNetwork
)
(
instance
?COM
NetworkCommunication
)
(
instrument
?COM ?CONN)
(
path
?COM ?PATH))
(
exists
(?PART)
(
and
(
part
?PART ?PATH)
(
not
(
instance
?PART
Cable
)))))
ComputingBrands.kif 1422-1432
オブジェクト
は
WirelessNetwork
の
instance
では %n
motion
は
NetworkCommunication
の
instance
では %n
オブジェクト
は
motion
の
instrument
では %n
オブジェクト
は
motion
が 発生する
path
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Cable
の
instance
では
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
工程
は
CPR
の
instance
では %n
motion
は
Compressing
の
instance
では %n
オブジェクト
は
motion
が 発生する
path
では %n
motion
は
工程
% の
subprocess
では %n
オブジェクト
の
length
は
実数
の
Centimeter
(s) では
実数
は 5.0 より
greater
では %n
実数
は 6.0 より
less
では %n
(=>
(
and
(
instance
?EM
Electromagnet
)
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))
Cars.kif 3901-3911
オブジェクト
は
Electromagnet
の
instance
では %n
移動
は
移動
の
instance
では %n
オブジェクト
は
Electricity
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
移動
が 発生する
path
では %n
工程
工程
は
Magnetism
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3913-3929
エンティティー
は
Electromagnet
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
移動
の
instance
では %n
エンティティー
は
Electricity
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
が 発生する
path
では %n は
エンティティー
1 の
during
hold ない
エンティティー
エンティティー
は
Magnetism
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n は
エンティティー
1 の
during
hold ない
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
オブジェクト
は
FuelPump
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
motion
は
交通手段
の
instance
では %n
工程
は
Fuel
の
instance
では %n
工程
は
motion
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
GasTank
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
motion
は
オブジェクト
から
originate
s %n{ない}
motion
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
motion
が 発生する
path
では %n
motion
は
工程
F
工程
F は
FuelFilter
の
instance
では %n
betweenOnPath
オブジェクト
,
工程
F,
オブジェクト
and
オブジェクト
の 目的 %n{ない}
(=>
(
and
(
instance
?M
HalfMarathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 13.1))
Sports.kif 295-302
Motion
は
HalfMarathon
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
Transitway
は
motion
が 発生する
path
では %n
distanceOnPath
実数
の
Mile
(s) and
Transitway
実数
は 13.1 と
equal
では %n
(=>
(
and
(
instance
?M
Marathon
)
(
agent
?M ?H)
(
path
?M ?P)
(
distanceOnPath
(
MeasureFn
?N
Mile
) ?P))
(
equal
?N 26.2))
Sports.kif 281-288
Motion
は
Marathon
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
Transitway
は
motion
が 発生する
path
では %n
distanceOnPath
実数
の
Mile
(s) and
Transitway
実数
は 26.2 と
equal
では %n
(=>
(
and
(
instance
?T
AirTransportation
)
(
path
?T ?P))
(
instance
?P
AirTransitway
))
Transportation.kif 1259-1263
Motion
は
AirTransportation
の
instance
では %n
オブジェクト
は
motion
が 発生する
path
では %n
オブジェクト
は
AirTransitway
の
instance
では %n
(=>
(
and
(
instance
?T
LandTransportation
)
(
path
?T ?P))
(
instance
?P
LandTransitway
))
Mid-level-ontology.kif 17783-17787
Motion
は
LandTransportation
の
instance
では %n
オブジェクト
は
motion
が 発生する
path
では %n
オブジェクト
は
LandTransitway
の
instance
では %n
(=>
(
and
(
instance
?T
Tailpipe
)
(
instance
?TR
Transfer
)
(
instance
?E
Exhaust
)
(
instance
?A
Automobile
)
(
instance
?AES
AutomobileExhaustSystem
)
(
part
?T ?A)
(
path
?TR ?T)
(
patient
?TR ?E))
(
hasPurpose
?T
(
not
(
exists
(?O)
(
and
(
part
?O ?A)
(
beforeOnPath
?T ?O ?AES ?TR))))))
Cars.kif 4054-4069
オブジェクト
は
Tailpipe
の
instance
では %n
オブジェクト
R は
移動
の
instance
では %n
エンティティー
は
Exhaust
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
ES は
AutomobileExhaustSystem
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
R が 発生する
path
では %n
エンティティー
は
オブジェクト
R の
patient
では %n
オブジェクト
は
エンティティー
エンティティー
は
オブジェクト
の
part
では %n
beforeOnPath
オブジェクト
,
エンティティー
,
オブジェクト
ES and
オブジェクト
R の 目的 %n{ない}
(=>
(
and
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11104-11114
オブジェクト
は
motion
が 発生する
path
では %n
motion
は
オブジェクト
から
originate
s %n{ない}
motion
は
オブジェクト
に
end
s %n{ない}
オブジェクト
の
length
は
実数
の
測定単位
(s) では
オブジェクト
と
オブジェクト
の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
オブジェクト
の
between
では %n
consequent
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
自己接続オブジェクト
は
AutomobileShock
の
instance
では %n
工程
は
Compressing
の
instance
では %n
HoleRegion
は
HoleRegion
の
instance
では %n
Fluid
は
オブジェクト
の
attribute
では %n
自己接続オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
自己接続オブジェクト
は
工程
の
patient
では %n
移動
移動
は
移動
の
instance
では %n
objectTransferred
移動
and
オブジェクト
HoleRegion
は
移動
が 発生する
path
では %n
工程
は
移動
を
cause
s %n{ない}
(=>
(
and
(
instance
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
物理
は
Barricade
の
instance
では %n
物理
は
partly
に
オブジェクト
に 位置して %n
物理
は
エンティティー
エンティティー
は
Translocation
の
instance
では %n
オブジェクト
は
エンティティー
が 発生する
path
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?G
Gun
)
(
instance
?B
GunBarrel
)
(
part
?B ?G)
(
instance
?S
Shooting
)
(
instrument
?S ?G)
(
patient
?S ?P)
(
instance
?P
Projectile
))
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?S)
(
path
?SUB ?B))))
Mid-level-ontology.kif 1235-1247
オブジェクト
は
Gun
の
instance
では %n
オブジェクト
は
GunBarrel
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
射撃
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
Projectile
の
instance
では %n
工程
UB
工程
UB は
工程
% の
subprocess
では %n
オブジェクト
は
工程
UB が 発生する
path
では %n
(=>
(
and
(
instance
?GOING
(
TransitFn
?WAY))
(
instance
?WAY
Transitway
))
(
path
?GOING ?WAY))
Transportation.kif 1609-1613
Motion
は
TransitFn
Transitway
の
instance
では %n
Transitway
は
Transitway
の
instance
では %n
Transitway
は
motion
が 発生する
path
では %n
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
オブジェクト
は
Harbor
の
instance
では %n
equipmentCount
オブジェクト
,
ShipBerth
and
実数
実数
は 0 より
greater
では %n
オブジェクト
は
ShipBerthing
を
path
として行う
capable
では %n
(=>
(
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
?S
Swallowing
)
(
agent
?S ?H))
(
exists
(?M ?E ?ST ?O)
(
and
(
instance
?M
Mouth
)
(
instance
?E
Esophagus
)
(
instance
?ST
Stomach
)
(
objectTransferred
?S ?O)
(
origin
?S ?M)
(
destination
?S ?ST)
(
path
?S ?E))))
Mid-level-ontology.kif 6594-6606
移動
は
Swallowing
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
オブジェクト
オブジェクト
,
移動
T and
オブジェクト
オブジェクト
は
Mouth
の
instance
では %n
オブジェクト
は
Esophagus
の
instance
では %n
移動
T は
Stomach
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
から
originate
s %n{ない}
移動
は
移動
T に
end
s %n{ない}
オブジェクト
は
移動
が 発生する
path
では %n
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
navigableForDraft
水域
and
実数
の
Meter
(s)
ladenDraft
WaterVehicle
and
実数
の
Meter
(s)
実数
は
実数
より
greater
では %n
水域
は
TripFn
WaterVehicle
を
path
として行う
capable
では %n
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
navigableForDraft
水域
and
実数
の
Meter
(s)
ladenDraft
WaterVehicle
and
実数
の
Meter
(s)
実数
は
実数
より
less
または同等 では %n
水域
は
TripFn
WaterVehicle
を
path
として行う
capable
では
(=>
(
and
(
navigableForShippingTonnage
?WATERWAY
(
MeasureFn
?TONNAGE
LongTon
))
(
instance
?VESSEL
WaterVehicle
)
(
vesselDisplacement
?VESSEL
(
MeasureFn
?DWT
LongTon
))
(
lessThanOrEqualTo
?DWT ?TONNAGE))
(
capability
(
TripFn
?VESSEL)
path
?WATERWAY))
Transportation.kif 2637-2643
navigableForShippingTonnage
水域
and
実数
の
LongTon
(s)
WaterVehicle
は
WaterVehicle
の
instance
では %n
vesselDisplacement
WaterVehicle
and
実数
の
LongTon
(s)
実数
は
実数
より
less
または同等 では %n
水域
は
TripFn
WaterVehicle
を
path
として行う
capable
では %n
(=>
(
instance
?B
Bowling
)
(
exists
(?BALL ?TRANS ?LANE)
(
and
(
instance
?TRANS
Translocation
)
(
instance
?BALL
BowlingBall
)
(
patient
?TRANS ?BALL)
(
instance
?LANE
BowlingLane
)
(
path
?TRANS ?LANE)
(
subProcess
?TRANS ?B))))
Sports.kif 1108-1117
工程
は
Bowling
の
instance
では %n
工程
ALL
motion
and
オブジェクト
motion
は
Translocation
の
instance
では %n
工程
ALL は
BowlingBall
の
instance
では %n
工程
ALL は
motion
の
patient
では %n
オブジェクト
は
BowlingLane
の
instance
では %n
オブジェクト
は
motion
が 発生する
path
では %n
motion
は
工程
% の
subprocess
では %n
(=>
(
instance
?BC
BloodCirculation
)
(
exists
(?O ?V ?A ?B)
(
and
(
instance
?O
Animal
)
(
instance
?B
Blood
)
(
moves
?BC ?B)
(
instance
?A
Artery
)
(
instance
?V
Vein
)
(
part
?A ?O)
(
part
?V ?O)
(
path
?BC ?A)
(
path
?BC ?V))))
Medicine.kif 491-503
Motion
は
BloodCirculation
の
instance
では %n
オブジェクト
オブジェクト
,
オブジェクト
and
オブジェクト
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
血
の
instance
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Artery
の
instance
では %n
オブジェクト
は
Vein
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
motion
が 発生する
path
では %n
オブジェクト
は
motion
が 発生する
path
では %n
(=>
(
instance
?BL
BowlingLane
)
(
hasPurpose
?BL
(
exists
(?TR ?BALL)
(
and
(
instance
?TR
Translocation
)
(
instance
?BALL
BowlingBall
)
(
patient
?TR ?BALL)
(
path
?TR ?BL)))))
Sports.kif 1147-1155
物理
は
BowlingLane
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Translocation
の
instance
では %n
エンティティー
は
BowlingBall
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
物理
は
エンティティー
が 発生する
path
では %n の 目的 %n{ない}
(=>
(
instance
?C
Catheter
)
(
hasPurpose
?C
(
exists
(?M ?O ?OBJ ?L)
(
and
(
instance
?O
Organism
)
(
instance
?M
Motion
)
(
moves
?M ?OBJ)
(
orientation
?L ?O
Outside
)
(
path
?M ?C)
(
or
(
and
(
origin
?M ?L)
(
destination
?M ?O))
(
and
(
origin
?M ?O)
(
destination
?M ?L)))))))
Medicine.kif 548-564
物理
は
Catheter
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
BJ and
エンティティー
エンティティー
は
物
の
instance
では %n
エンティティー
は
motion
の
instance
では %n
moves
エンティティー
and
エンティティー
BJ
エンティティー
は
Outside
対
エンティティー
では %n
物理
は
エンティティー
が 発生する
path
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?E ?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?E)
(
path
?T ?EV)
(
instance
?E
Exhaust
)))))
Cars.kif 2671-2679
物理
は
ExhaustValve
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
移動
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
物理
は
エンティティー
が 発生する
path
では %n
エンティティー
は
Exhaust
の
instance
では %n の 目的 %n{ない}
(=>
(
instance
?G
Gasket
)
(
hasPurpose
?G
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
CorpuscularObject
)
(
meetsSpatially
?O1 ?G)
(
meetsSpatially
?O2 ?G)
(
not
(
exists
(?H ?D ?T ?O)
(
and
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
instance
?T
Translocation
)
(
path
?T ?H)
(
origin
?T ?O)
(
destination
?T ?D)
(
contains
?O1 ?O)
(
not
(
contains
?O1 ?D))
(
meetsSpatially
?O1 ?D)
(
not
(
exists
(?O3)
(
and
(
contains
?H ?O3)
(
not
(
contains
?O1 ?O3))
(
not
(
contains
?O2 ?O3))))))))))))
Cars.kif 2849-2878
物理
は
Gasket
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
微粒子オブジェクト
の
instance
では %n
エンティティー
は
微粒子オブジェクト
の
instance
では %n
エンティティー
は
物理
と
meet
s %n{ない}
エンティティー
は
物理
と
meet
s %n{ない}
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
HoleRegion
の
instance
では %n
物理
は ホール
エンティティー
の
host
と
equal
では %n
エンティティー
は
Translocation
の
instance
では %n
エンティティー
は
エンティティー
が 発生する
path
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
を
contain
s %n{ない}
エンティティー
は
エンティティー
を
contain
ない
エンティティー
は
エンティティー
と
meet
s %n{ない}
エンティティー
3
エンティティー
は
エンティティー
3 を
contain
s %n{ない}
エンティティー
は
エンティティー
3 を
contain
ない
エンティティー
は
エンティティー
3 を
contain
ない の 目的 %n{ない}
(=>
(
instance
?GF
GreaseFitting
)
(
hasPurpose
?GF
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
path
?P ?GF)
(
objectTransferred
?P ?G)))))
Cars.kif 3026-3034
物理
は
GreaseFitting
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Grease
の
instance
では %n
エンティティー
は
置く
の
instance
では %n
物理
は
エンティティー
が 発生する
path
では %n
objectTransferred
エンティティー
and
エンティティー
の 目的 %n{ない}
(=>
(
instance
?HALL
Hallway
)
(
hasPurpose
?HALL
(
exists
(?TRAN ?BUILD ?R1 ?R2)
(
and
(
instance
?TRAN
Translocation
)
(
path
?TRAN ?HALL)
(
located
?HALL ?BUILD)
(
instance
?BUILD
Building
)
(
between
?R1 ?HALL ?R2)
(
instance
?R1
Room
)
(
instance
?R2
Room
)
(
located
?R1 ?BUILD)
(
located
?R2 ?BUILD)
(
not
(
equal
?R1 ?R2))))))
Mid-level-ontology.kif 15621-15636
物理
は
Hallway
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Translocation
の
instance
では %n
物理
は
エンティティー
が 発生する
path
では %n
物理
は
エンティティー
に
located
して %n
エンティティー
は
建物
の
instance
では %n
物理
は
エンティティー
と
エンティティー
の
between
では %n
エンティティー
は
部屋
の
instance
では %n
エンティティー
は
部屋
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
と
equal
では の 目的 %n{ない}
(=>
(
instance
?IV
IntakeValve
)
(
hasPurpose
?IV
(
exists
(?A ?FV ?CC ?T)
(
and
(
instance
?A
Automobile
)
(
instance
?FV
FuelVapor
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
part
?IV ?A)
(
part
?CC ?A)
(
patient
?T ?FV)
(
path
?T ?IV)
(
destination
?T ?CC)))))
Cars.kif 2696-2709
物理
は
IntakeValve
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
FuelVapor
の
instance
では %n
エンティティー
は
CombustionChamber
の
instance
では %n
エンティティー
は
移動
の
instance
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
patient
では %n
物理
は
エンティティー
が 発生する
path
では %n
エンティティー
は
エンティティー
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?IVT
IVTherapy
)
(
exists
(?P ?V ?T)
(
and
(
instance
?T
IVLine
)
(
path
?IVT ?T)
(
instance
?V
Vein
)
(
destination
?IVT ?V))))
Medicine.kif 1078-1085
Motion
は
IVTherapy
の
instance
では %n
エンティティー
エンティティー
and
オブジェクト
オブジェクト
は
IVLine
の
instance
では %n
オブジェクト
は
motion
が 発生する
path
では %n
エンティティー
は
Vein
の
instance
では %n
motion
は
エンティティー
に
end
s %n{ない}
(=>
(
instance
?MHCV
ManifoldHeatControlValve
)
(
hasPurpose
?MHCV
(
exists
(?H ?O ?E ?FV ?T)
(
and
(
instance
?H
Heating
)
(
instance
?O
Opening
)
(
instance
?E
Exhaust
)
(
instance
?T
Transfer
)
(
instance
?FV
FuelVapor
)
(
patient
?O ?MHCV)
(
instrument
?H ?E)
(
patient
?H ?FV)
(
path
?T ?MHCV)
(
causes
?O ?T)
(
causes
?T ?H)))))
Cars.kif 3270-3285
物理
は
ManifoldHeatControlValve
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
加熱
の
instance
では %n
エンティティー
は
Opening
の
instance
では %n
エンティティー
は
Exhaust
の
instance
では %n
エンティティー
は
移動
の
instance
では %n
エンティティー
は
FuelVapor
の
instance
では %n
物理
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
物理
は
エンティティー
が 発生する
path
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?NA
NasopharyngealAirway
)
(
hasPurpose
?NA
(
exists
(?H ?B)
(
and
(
instance
?B
Breathing
)
(
located
?B ?H)
(
holdsDuring
(
WhenFn
?B)
(
attribute
?H
Unconscious
))
(
path
?B ?NA)))))
Medicine.kif 730-740
物理
は
NasopharyngealAirway
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
呼吸
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
無意識
は
エンティティー
の
attribute
では %n は
エンティティー
の
time
の existence の
during
holds %n{ない}
物理
は
エンティティー
が 発生する
path
では %n の 目的 %n{ない}
(=>
(
instance
?P
Waterway
)
(
hasPurpose
?P
(
exists
(?T)
(
and
(
instance
?T
WaterTransportation
)
(
path
?T ?P)))))
Geography.kif 5582-5588
物理
は
Waterway
の
instance
では %n
物理
は
エンティティー
エンティティー
は
WaterTransportation
の
instance
では %n
物理
は
エンティティー
が 発生する
path
では %n の 目的 %n{ない}
(=>
(
instance
?PCVV
PositiveCrankcaseVentilationValve
)
(
hasPurpose
?PCVV
(
exists
(?CR ?F ?CC ?T ?A)
(
and
(
instance
?CR
Crankcase
)
(
instance
?F
Fuel
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
instance
?A
Automobile
)
(
part
?CR ?A)
(
part
?CC ?A)
(
part
?PCVV ?A)
(
origin
?T ?CR)
(
destination
?T ?CC)
(
objectTransferred
?T ?F)
(
path
?T ?PCVV)))))
Cars.kif 3826-3842
物理
は
PositiveCrankcaseVentilationValve
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Crankcase
の
instance
では %n
エンティティー
は
Fuel
の
instance
では %n
エンティティー
は
CombustionChamber
の
instance
では %n
エンティティー
は
移動
の
instance
では %n
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
の
part
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
objectTransferred
エンティティー
and
エンティティー
物理
は
エンティティー
が 発生する
path
では %n の 目的 %n{ない}
(=>
(
instance
?R
Ramp
)
(
capability
MotionDownward
path
?R))
Mid-level-ontology.kif 2370-2372
オブジェクト
は
Ramp
の
instance
では %n
オブジェクト
は
MotionDownward
を
path
として行う
capable
では %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