subProcess
(=>
(
and
(
instance
?REQUEST
ViewItemRequest
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
ViewItemPage
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
Advertising
)
(
subProcess
?ACCESSING ?REQUEST)
(
component
?PAGE ?LISTING)
(
destination
?ACCESSING ?PAGE)
(
agent
?ACCESSING ?AGENT))
(
viewedListing
?AGENT ?LISTING))
UXExperimentalTerms.kif 1570-1581
工程
は
ViewItemRequest
の
instance
では %n
工程
は
AccessingWebPage
の
instance
では %n
微粒子オブジェクト
は
ViewItemPage
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebListing
は
広告
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
微粒子オブジェクト
は
WebListing
の
component
では %n
工程
は
微粒子オブジェクト
に
end
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
viewedListing
AutonomousAgent
and
WebListing
(=>
(
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
?TEST
MultivariateTest
)
(
subProcess
?EXPERIMENT1 ?TEST)
(
subProcess
?EXPERIMENT2 ?TEST)
(
instance
?EXPERIMENT1
Experimenting
)
(
instance
?EXPERIMENT2
Experimenting
)
(
instance
?VARIABLE1
Process
)
(
instance
?VARIABLE2
Process
)
(
experimentalVariableProcess
?EXPERIMENT1 ?VARIABLE1)
(
experimentalVariableProcess
?EXPERIMENT2 ?VARIABLE2))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
subProcess
?VARIABLE1 ?PROCESS)
(
subProcess
?VARIABLE2 ?PROCESS)
(
not
(
equal
?VARIABLE1 ?VARIABLE2)))))
UXExperimentalTerms.kif 4501-4518
工程
は
MultivariateTest
の
instance
では %n
Experimenting
は
工程
% の
subprocess
では %n
Experimenting
は
工程
% の
subprocess
では %n
Experimenting
は
Experimenting
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
工程
は
工程
の
instance
では %n
工程
は
工程
の
instance
では %n
experimentalVariableProcess
Experimenting
and
工程
experimentalVariableProcess
Experimenting
and
工程
工程
工程
は
工程
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
と
equal
では
(=>
(
and
(
instance
?TRANSPORT
Transportation
)
(
subProcess
?TRANSPORT ?DRIVE)
(
instance
?DRIVE
Driving
)
(
instrument
?TRANSPORT ?VEHICLE)
(
instance
?VEHICLE
TransportationDevice
))
(
patient
?DRIVE ?VEHICLE))
Mid-level-ontology.kif 23556-23563
工程
は
交通手段
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
運転
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
輸送機
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
(=>
(
and
(
instance
?WN
(
NetworkCommunicationFn
BluetoothNetwork
))
(
instance
?R
RadiatingElectromagnetic
)
(
subProcess
?R ?WN)
(
carrierFrequency
?R
(
MeasureFn
?W
(
GigaFn
Hertz
))))
(
and
(
greaterThan
?W 2.4)
(
lessThan
?W 2.485)))
ComputingBrands.kif 1579-1588
工程
は %1 を介した通信 の
instance
では %n
放射
は
RadiatingElectromagnetic
の
instance
では %n
放射
は
工程
% の
subprocess
では %n
放射
の搬送波周波数は
実数
の 1 の
billion
Hertz
s(s)
実数
は 2.4 より
greater
では %n
実数
は 2.485 より
less
では %n
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
物理
物理
は
工程
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
人[人間]
は
工程
の
patient
では %n
工程
は
物理
の
instance
では %n
工程
は
物理
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
TemporaryResidence
に
located
して %n
工程
RICE
測定単位
price
工程
,
工程
RICE の
測定単位
(s) and
人[人間]
測定単位
は
UnitOfCurrency
の
instance
では %n
工程
RICE は 0 より
greater
では %n
(=>
(
and
(
subProcess
?S1 ?P)
(
subProcess
?S2 ?P))
(
relatedEvent
?S1 ?S2))
Merge.kif 3770-3774
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
relatedEvent
工程
and
工程
(=>
(
subProcess
?SUBPROC ?PROC)
(
temporalPart
(
WhenFn
?SUBPROC)
(
WhenFn
?PROC)))
Merge.kif 10107-10109
工程
は
工程
% の
subprocess
では %n
工程
の
time
の existence は
工程
の
time
の existence の
part
では %n
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