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
Awake
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 11078-11080
(
documentation
path
JapaneseLanguage
"(
path
?MOTION ?PATH) は、?PATH が ?MOTION が発生す るルートであることを意味する。例:高速道路 101 は、次の命題のパスである: 車で、高速道路 101 を 走らせた。")
japanese_format.kif 1762-1764
(
domain
path
1
Motion
)
Merge.kif 11075-11075
path
の数値 1 引数は
motion
の
instance
では %n
(
domain
path
2
Object
)
Merge.kif 11076-11076
path
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
path
CaseRole
)
Merge.kif 11070-11070
path
は
格役割
の
instance
では %n
(
instance
path
TotalValuedRelation
)
Merge.kif 11071-11071
path
は
合計値関係
の
instance
では %n
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
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 29779-29788
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 3893-3903
オブジェクト
は
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 3905-3921
エンティティー
は
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 17784-17788
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 4046-4061
オブジェクト
は
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 11082-11092
オブジェクト
は
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 6595-6607
移動
は
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 1107-1116
工程
は
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 1146-1154
物理
は
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 2665-2673
物理
は
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 2843-2872
物理
は
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 3020-3028
物理
は
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 15622-15637
物理
は
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 2690-2703
物理
は
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 3262-3277
物理
は
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 3818-3834
物理
は
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