subProcess
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesPassengerTransportation
))
(
exists
(?CRUISE ?SHIP ?WATER)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8207-8225
ServiceProcess
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
CoastalAndGreatLakesPassengerTransportation
est un
attribut
de
agent cognitif
processus
objet
and
secteur g�ographique
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
objet
est une
instance
de
PassengerShip
eventLocated
processus
and
secteur g�ographique
secteur g�ographique
est une
instance
de
plan d'eau
geographicSubregion
secteur g�ographique
and
UnitedStates
entit�
entit�
est une
instance
de
ShortSeaPassengerShip
objet
est
entit�
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaFreightTransportation
))
(
exists
(?FREIGHT ?SHIP)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT
WorldOcean
))))
naics.kif 8139-8150
ServiceProcess
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
DeepSeaFreightTransportation
est un
attribut
de
agent cognitif
processus
objet
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
objet
est une
instance
de
CargoShip
eventLocated
processus
and
WorldOcean
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaPassengerTransportation
))
(
exists
(?CRUISE ?SHIP)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE
WorldOcean
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8159-8175
ServiceProcess
est une
instance
de
WaterTransportationService
serviceProvider
ServiceProcess
and
agent cognitif
DeepSeaPassengerTransportation
est un
attribut
de
agent cognitif
processus
objet
processus
est un
sous
-processus de
ServiceProcess
processus
est une
instance
de
WaterTransportation
objet
est un
instrument
pour
processus
objet
est une
instance
de
PassengerShip
eventLocated
processus
and
WorldOcean
entit�
entit�
est une
instance
de
ShortSeaPassengerShip
objet
est
entit�
(=>
(
and
(
measure
?QUAKE
(
MeasureFn
?VALUE
RichterMagnitude
))
(
instance
?QUAKE
Earthquake
))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
subProcess
?TREMOR ?QUAKE)
(
measure
?TREMOR
(
MeasureFn
?VALUE
RichterMagnitude
)))))
Geography.kif 2359-2369
La
mesure
de
processus
est
nombre r�el
RichterMagnitude
(s)
processus
est une
instance
de
Earthquake
processus
processus
est une
instance
de
EarthTremor
processus
est un
sous
-processus de
processus
la
mesure
de
processus
est
nombre r�el
RichterMagnitude
(s)
(=>
(
and
(
musicGenre
?MR
Acapella
)
(
record
?MR ?MM))
(
not
(
exists
(?MI)
(
and
(
instance
?MI
MakingInstrumentalMusic
)
(
subProcess
?MI ?MM)))))
Music.kif 524-532
musicGenre
objet exprimant un sens
and
Acapella
record
objet exprimant un sens
and
processus
processus
processus
est une
instance
de
MakingInstrumentalMusic
processus
est un
sous
-processus de
processus
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
ContestAttribute
))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
or
(
agent
?CONTEST ?THING)
(
patient
?CONTEST ?THING)
(
subProcess
?THING ?CONTEST)))))
Merge.kif 17392-17402
AutonomousAgent
a un
attribute
attribut
attribut
est une
instance
de
attribut r�sultant d'un affrontement
processus
processus
est une
instance
de
affrontement
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
sous
-processus de
processus
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
GameAttribute
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Game
)
(
or
(
agent
?GAME ?THING)
(
patient
?GAME ?THING)
(
subProcess
?THING ?GAME)))))
Mid-level-ontology.kif 19499-19509
AutonomousAgent
a un
attribute
attribut
attribut
est une
instance
de
GameAttribute
processus
processus
est une
instance
de
jeu
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
sous
-processus de
processus
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
SportsAttribute
))
(
exists
(?SPORT)
(
and
(
instance
?SPORT
Game
)
(
or
(
agent
?SPORT ?THING)
(
patient
?SPORT ?THING)
(
subProcess
?THING ?SPORT)))))
Mid-level-ontology.kif 19515-19525
AutonomousAgent
a un
attribute
attribut
attribut
est une
instance
de
SportsAttribute
processus
processus
est une
instance
de
jeu
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est un
patient
de
processus
AutonomousAgent
est un
sous
-processus de
processus
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
roomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
processus
l'argument
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
HotelUnit
entit�
est un
appartenir
�
entit�
entit�
est un
agent
de
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
physique
entit�
est un
sous
-processus de
entit�
entit�
est
situ
� �
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
subjectiveAttribute
?X
Won
?JUDGE)
(
instance
?X
(
FoodForFn
Human
)))
(
exists
(?CONTEST ?AGENT ?PROC)
(
and
(
contestObject
?CONTEST ?X ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
subProcess
?PROC ?CONTEST))))
Dining.kif 900-909
subjectiveAttribute
objet
,
Won
and
AutonomousAgent
objet
est une
instance
de
FoodForFn
humain
affrontement
AutonomousAgent
and
processus
contestObject
affrontement
,
objet
and
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
affrontement
(=>
(
attribute
?FOOD
CookedAttribute
)
(
exists
(?PROC1 ?PROC2)
(
and
(
instance
?PROC1
Cooking
)
(
instance
?PROC2
Heating
)
(
subProcess
?PROC2 ?PROC1)
(
result
?PROC1 ?FOOD))))
Food.kif 37-44
CookedAttribute
est un
attribut
de
objet
processus
processus
processus
est une
instance
de
cuisiner
processus
est une
instance
de
r�chauffer
processus
est un
sous
-processus de
processus
objet
est le
resultat
de
processus
(=>
(
attribute
?MR
HipHopMusic
)
(
modalAttribute
(
exists
(?MM ?S)
(
and
(
record
?MR ?MM)
(
instance
?S
Speaking
)
(
subProcess
?S ?MM)))
Likely
))
Music.kif 727-734
HipHopMusic
est un
attribut
de
objet
l'argument
entit�
entit�
record
objet
and
entit�
entit�
est une
instance
de
Speaking
entit�
est un
sous
-processus de
entit�
a la
force
modale
de
Likely
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 436-465
AeronauticalEngineer
est un
attribut
de
AutonomousAgent
processus
AutonomousAgent
a la
capacit
� de faire
processus
processus
processus
est une
instance
de
processus
processus
entit�
and
processus
T
processus
est une
instance
de
faire
entit�
est une
instance
de
Aircraft
entit�
est une
instance
de
processus
T
typicalPart
processus
T and
Aircraft
entit�
est le
resultat
de
processus
processus
est un
sous
-processus de
processus
processus
processus
LAN,
entit�
and
processus
T
processus
est une
instance
de
Designing
entit�
est une
instance
de
Aircraft
entit�
est une
instance
de
processus
T
typicalPart
processus
T and
Aircraft
processus
LAN est le
resultat
de
processus
processus
LAN
d
�finie
entit�
processus
est un
sous
-processus de
processus
(=>
(
attribute
?X
GamblingIndustries
)
(
hasPurpose
?X
(
exists
(?GAME ?BET)
(
and
(
instance
?GAME
Game
)
(
agent
?GAME ?X)
(
instance
?BET
Betting
)
(
destination
?BET ?X)
(
subProcess
?BET ?GAME)))))
naics.kif 11478-11487
GamblingIndustries
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
jeu
entit�
est un
agent
de
objet
entit�
est une
instance
de
parier
entit�
aboutit
�
objet
entit�
est un
sous
-processus de
entit�
(=>
(
axis
?AXIS ?OBJ)
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
part
?AXIS ?OBJ)
(
experiencer
?R ?OBJ)
(
not
(
exists
(?R2)
(
and
(
instance
?R2
Rotating
)
(
subProcess
?R2 ?R)
(
experiencer
?R2 ?AXIS)))))))
Mid-level-ontology.kif 17468-17480
axis
AutonomousAgent
and
AutonomousAgent
processus
processus
est une
instance
de
Rotating
AutonomousAgent
est une
partie
de
AutonomousAgent
AutonomousAgent
exp
�rimente
processus
processus
2
processus
2 est une
instance
de
Rotating
processus
2 est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
2
(=>
(
contestObject
?CONTEST ?OBJ ?AGENT)
(
and
(
contestParticipant
?CONTEST ?AGENT)
(
exists
(?MAKE ?JUDGE ?PROC ?AFTR)
(
and
(
instance
?MAKE
Making
)
(
result
?MAKE ?OBJ)
(
agent
?MAKE ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
patient
?PROC ?OBJ)
(
result
?PROC
(
subjectiveAttribute
?OBJ ?AFTR ?JUDGE))
(
subProcess
?PROC ?CONTEST)))))
Dining.kif 883-896
contestObject
affrontement
,
objet
and
AutonomousAgent
contestParticipant
affrontement
and
AutonomousAgent
processus
AutonomousAgent
,
processus
and
entit�
processus
est une
instance
de
faire
objet
est le
resultat
de
processus
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
subjectiveAttribute
objet
,
entit�
and
AutonomousAgent
est le
resultat
de
processus
processus
est un
sous
-processus de
affrontement
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
dayPhone
cha�ne sympbolique
and
AutonomousAgent
Telephone
entit�
and
nombre r�el
phoneNumber
cha�ne sympbolique
and
Telephone
nombre r�el
est
plus
grand
que 6
nombre r�el
est
moins
que 18
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
Telephone
est un
patient
de
entit�
AutonomousAgent
poss
�de
Telephone
l'argument
entit�
entit�
est une
instance
de
Answering
entit�
est un
sous
-processus de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
pendant
entit�
est une
instance
de l'
heure
nombre r�el
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
eveningPhone
cha�ne sympbolique
and
AutonomousAgent
Telephone
entit�
and
nombre r�el
phoneNumber
cha�ne sympbolique
and
Telephone
nombre r�el
est
plus
grand
que 18
nombre r�el
est
moins
que 6
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
Telephone
est un
patient
de
entit�
AutonomousAgent
poss
�de
Telephone
l'argument
entit�
entit�
est une
instance
de
Answering
entit�
est un
sous
-processus de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
pendant
entit�
est une
instance
de l'
heure
nombre r�el
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
eventLocated
processus
and
objet
processus
processus
est un
sous
-processus de
processus
eventLocated
processus
and
objet
(=>
(
eventPartlyLocated
?PROC ?OBJ)
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?PROC)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4102-4107
eventPartlyLocated
processus
and
objet
processus
processus
est un
sous
-processus de
processus
eventLocated
processus
and
objet
(=>
(
instance
?ACT
DirectActionActivity
)
(
exists
(?DA)
(
and
(
instance
?DA
DirectAction
)
(
subProcess
?ACT ?DA))))
MilitaryProcesses.kif 393-398
Processus
est une
instance
de
DirectActionActivity
processus
processus
est une
instance
de
DirectAction
processus
est un
sous
-processus de
processus
(=>
(
instance
?ACT
DoubleClicking
)
(
exists
(?CLICK1 ?CLICK2)
(
and
(
subProcess
?ACT ?CLICK1)
(
instance
?CLICK1
Clicking
)
(
subProcess
?ACT ?CLICK2)
(
not
(
equal
?CLICK1 ?CLICK2))
(
instance
?CLICK2
Clicking
))))
ComputerInput.kif 1442-1451
Processus
est une
instance
de
DoubleClicking
processus
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Clicking
processus
est un
sous
-processus de
processus
processus
est
processus
processus
est une
instance
de
Clicking
(=>
(
instance
?ACT
ShiftClicking
)
(
exists
(?SHIFT)
(
and
(
subProcess
?SHIFT ?ACT)
(
instance
?SHIFT
ShiftKeyHoldDown
))))
ComputerInput.kif 1497-1502
Processus
est une
instance
de
ShiftClicking
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
ShiftKeyHoldDown
(=>
(
instance
?ACTION
LegalAction
)
(
exists
(?REGISTER)
(
and
(
instance
?REGISTER
Registering
)
(
subProcess
?REGISTER ?ACTION))))
Mid-level-ontology.kif 887-892
Processus
est une
instance
de
action l�gale
processus
processus
est une
instance
de
Registering
processus
est un
sous
-processus de
processus
(=>
(
instance
?AGRO
Agriculture
)
(
exists
(?GROWTH)
(
and
(
instance
?GROWTH
Growth
)
(
subProcess
?GROWTH ?AGRO))))
Mid-level-ontology.kif 20843-20848
Processus
est une
instance
de
Agriculture
processus
processus
est une
instance
de
grandir
processus
est un
sous
-processus de
processus
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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