agent
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
not
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D))))
Likely
))
Mid-level-ontology.kif 15139-15149
Translucent
est un
attribut
de
objet
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
voir
entit�
est un
agent
de
entit�
entit�
aboutit
�
entit�
entit�
est
entre
objet
et
entit�
a la
force
modale
de
Likely
(=>
(
attribute
?O
Transparent
)
(
modalAttribute
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D)))
Possibility
))
Mid-level-ontology.kif 15123-15132
Transparent
est un
attribut
de
objet
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
voir
entit�
est un
agent
de
entit�
entit�
aboutit
�
entit�
entit�
est
entre
objet
et
entit�
a la
force
modale
de
Possibility
(=>
(
attribute
?OFFICER
MilitaryOfficer
)
(
exists
(?MANAGE ?PATIENT)
(
and
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?OFFICER)
(
patient
?MANAGE ?PATIENT)
(
or
(
instance
?PATIENT
MilitaryOrganization
)
(
attribute
?PATIENT
Soldier
)))))
Mid-level-ontology.kif 19003-19012
MilitaryOfficer
est un
attribut
de
AutonomousAgent
processus
objet
processus
est une
instance
de
diriger
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
MilitaryOrganization
Soldier
est un
attribut
de
objet
(=>
(
attribute
?ORGANISM
(
instance
?P
(
ParalysisFn
?PART)))
(
exists
(?MUSCLE)
(
and
(
instance
?MUSCLE
Muscle
)
(
part
?MUSCLE ?PART)
(
part
?PART ?ORGANISM)
(
not
(
exists
(?MOTION)
(
and
(
instance
?MOTION
BodyMotion
)
(
agent
?MOTION ?ORGANISM)
(
patient
?MOTION ?MUSCLE)))))))
Mid-level-ontology.kif 6329-6343
Entit�
est une
instance
de
ParalysisFn
entit�
ART est un
attribut
de
AutonomousAgent
objet
objet
est une
instance
de
muscle
objet
est une
partie
de
entit�
ART
entit�
ART est une
partie
de
AutonomousAgent
processus
processus
est une
instance
de
mouvement du corps
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
(=>
(
attribute
?ORGANISM
InhalationalAnthrax
)
(
exists
(?ANTHRACIS ?BREATHING)
(
and
(
instance
?ANTHRACIS
BacillusAnthracis
)
(
instance
?BREATHING
Breathing
)
(
agent
?BREATHING ?ORGANISM)
(
patient
?BREATHING ?ANTHRACIS))))
WMD.kif 1150-1157
InhalationalAnthrax
est un
attribut
de
AutonomousAgent
entit�
processus
entit�
est une
instance
de
BacillusAnthracis
processus
est une
instance
de
respirer
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
attribute
?ORGANISM
Paralysis
)
(
exists
(?MUSCLE)
(
and
(
instance
?MUSCLE
Muscle
)
(
part
?MUSCLE ?ORGANISM)
(
not
(
exists
(?MOTION)
(
and
(
instance
?MOTION
BodyMotion
)
(
agent
?MOTION ?ORGANISM)
(
patient
?MOTION ?MUSCLE)))))))
Mid-level-ontology.kif 6306-6317
Paralysis
est un
attribut
de
AutonomousAgent
objet
objet
est une
instance
de
muscle
objet
est une
partie
de
AutonomousAgent
processus
processus
est une
instance
de
mouvement du corps
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
(=>
(
attribute
?P
Bartender
)
(
exists
(?S ?B)
(
and
(
instance
?S
Serving
)
(
instance
?B
AlcoholicBeverage
)
(
agent
?S ?P)
(
patient
?S ?B))))
Mid-level-ontology.kif 26876-26883
Bartender
est un
attribut
de
AutonomousAgent
processus
entit�
processus
est une
instance
de
Serving
entit�
est une
instance
de
AlcoholicBeverage
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
attribute
?P
Comedian
)
(
exists
(?PERF ?L)
(
and
(
instance
?PERF
Performance
)
(
agent
?PERF ?P)
(
instance
?L
Laughing
)
(
causes
?PERF ?L))))
Mid-level-ontology.kif 18794-18801
Comedian
est un
attribut
de
AutonomousAgent
AutonomousAgent
ERF
processus
AutonomousAgent
ERF est une
instance
de
Performance
AutonomousAgent
ERF est un
agent
de
AutonomousAgent
processus
est une
instance
de
Laughing
AutonomousAgent
ERF
cause
processus
(=>
(
attribute
?P
Dentist
)
(
exists
(?D ?T)
(
and
(
instance
?D
DiagnosticProcess
)
(
agent
?D ?P)
(
instance
?T
Tooth
)
(
patient
?D ?T))))
Mid-level-ontology.kif 18878-18885
Dentist
est un
attribut
de
AutonomousAgent
processus
entit�
processus
est une
instance
de
processus de diagnostique
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
Tooth
entit�
est un
patient
de
processus
(=>
(
attribute
?P
FarmHand
)
(
exists
(?F)
(
and
(
instance
?F
Agriculture
)
(
agent
?F ?P))))
Mid-level-ontology.kif 20852-20857
FarmHand
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
Agriculture
processus
est un
agent
de
AutonomousAgent
(=>
(
attribute
?P
SEAL
)
(
hasPurpose
?P
(
exists
(?S)
(
and
(
instance
?S
SpecialOperation
)
(
agent
?S ?P)))))
MilitaryPersons.kif 796-802
SEAL
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
SpecialOperation
entit�
est un
agent
de
objet
(=>
(
attribute
?ROOM
OpenLayout
)
(
and
(
instance
?ROOM
Room
)
(
exists
(?R1 ?R2 ?H)
(
and
(
instance
?R1
Region
)
(
instance
?R2
Region
)
(
located
?R1 ?ROOM)
(
located
?R2 ?ROOM)
(
not
(
equal
?R1 ?R2))
(
orientation
?R1 ?R2
Adjacent
)
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
hasPurpose
?R1 ?P1)
(
hasPurpose
?R2 ?P2)))
(=>
(
and
(
instance
?H
AutonomousAgent
)
(
located
?H ?R2))
(
and
(
capability
Seeing
agent
?H)
(
capability
Seeing
patient
?R1)))))))
Dining.kif 956-980
OpenLayout
est un
attribut
de
objet
objet
est une
instance
de
pi�ce
objet
objet
and
objet
objet
est une
instance
de
r�gion
objet
est une
instance
de
r�gion
objet
est
situ
� �
objet
objet
est
situ
� �
objet
objet
est
objet
objet
est
Adjacent
�
objet
formule
formule
formule
est une
instance
de
processus
formule
est une
instance
de
processus
objet
a pour
but
formule
objet
a pour
but
formule
objet
est une
instance
de
AutonomousAgent
objet
est
situ
� �
objet
objet
est
capable
de faire
voir
dans le r�le
agent
objet
est
capable
de faire
voir
dans le r�le
patient
(=>
(
attribute
?U
ExpeditionaryForce
)
(
hasPurpose
?U
(
exists
(?B ?C ?FC)
(
and
(
subOrganization
?U
(
GovernmentFn
?C))
(
instance
?B
Battle
)
(
agent
?B ?U)
(
instance
?FC
Nation
)
(
located
?B ?FC)
(
not
(
equal
?C ?FC))))))
MilitaryPersons.kif 712-724
ExpeditionaryForce
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
objet
est une partie de l'organization le
gouvernment
de
entit�
entit�
est une
instance
de
bataille
entit�
est un
agent
de
objet
entit�
est une
instance
de
nation
entit�
est
situ
� �
entit�
entit�
est
entit�
(=>
(
attribute
?X
Accountant
)
(
capability
Calculating
agent
?X))
Mid-level-ontology.kif 21105-21107
Accountant
est un
attribut
de
objet
objet
est
capable
de faire
calculer
dans le r�le
agent
(=>
(
attribute
?X
ArtsAndRecreationTicketingServices
)
(
hasPurpose
?X
(
exists
(?SELL ?TICKET ?CUST)
(
and
(
instance
?SELL
Selling
)
(
patient
?SELL ?TICKET)
(
agent
?SELL ?X)
(
instance
?TICKET
Ticket
)
(
destination
?SELL ?CUST)
(
hasPurpose
?TICKET
(
confersRight
(
exists
(?WATCH ?PERF)
(
and
(
instance
?WATCH
Seeing
)
(
agent
?WATCH ?CUST)
(
patient
?WATCH ?PERF)
(
or
(
instance
?PERF
Performance
)
(
instance
?PERF
Sport
)))) ?X ?CUST))))))
Hotel.kif 2353-2372
ArtsAndRecreationTicketingServices
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
objet
entit�
est une
instance
de
Ticket
entit�
aboutit
�
entit�
entit�
a pour
but
objet
autorise
entit�
� ex�cut� des t�ches du type
entit�
entit�
entit�
est une
instance
de
voir
entit�
est un
agent
de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
Performance
entit�
est une
instance
de
sport
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
BarberShops
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Hair
entit�
est une
partie
de
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
couper
entit�
est un
patient
de
entit�
eventLocated
entit�
and
objet
entit�
est un
agent
de
entit�
objet
emploie
entit�
(=>
(
attribute
?X
BusinessExecutive
)
(
exists
(?BUSINESS ?MANAGE)
(
and
(
instance
?MANAGE
Managing
)
(
instance
?BUSINESS
Organization
)
(
patient
?MANAGE ?BUSINESS)
(
agent
?MANAGE ?X))))
Mid-level-ontology.kif 22159-22166
BusinessExecutive
est un
attribut
de
AutonomousAgent
entit�
processus
processus
est une
instance
de
diriger
entit�
est une
instance
de
organisation
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
attribute
?X
Concierge
)
(
hasPurpose
?X
(
exists
(?HELP)
(
and
(
instance
?HELP
Helping
)
(
agent
?HELP ?X)))))
Hotel.kif 2415-2421
Concierge
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
Helping
entit�
est un
agent
de
objet
(=>
(
attribute
?X
Doorman
)
(
hasPurpose
?X
(
exists
(?DOOR ?PROC)
(
and
(
instance
?DOOR
Door
)
(
agent
?PROC ?X)
(
patient
?PROC ?DOOR)
(
or
(
instance
?PROC
Opening
)
(
instance
?PROC
Closing
))))))
Hotel.kif 2428-2438
Doorman
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
Door
entit�
est un
agent
de
objet
entit�
est un
patient
de
entit�
entit�
est une
instance
de
Opening
entit�
est une
instance
de
Closing
(=>
(
attribute
?X
Florists
)
(
hasPurpose
?X
(
exists
(?FLOWER ?PROC)
(
and
(
instance
?PROC
Designing
)
(
instance
?FLOWER
Collection
)
(
memberType
?FLOWER
Flower
)
(
patient
?PROC ?FLOWER)
(
agent
?PROC ?X)))))
naics.kif 7773-7782
Florists
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
Designing
entit�
est une
instance
de
collection
memberType
entit�
and
Flower
entit�
est un
patient
de
entit�
entit�
est un
agent
de
objet
(=>
(
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�
(=>
(
attribute
?X
GiftNoveltyAndSouvenirStores
)
(
and
(
instance
?X
RetailStore
)
(
hasPurpose
?X
(
exists
(?SELL ?OBJ)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?X)
(
patient
?SELL ?OBJ)
(
instance
?OBJ
Object
))))))
naics.kif 7805-7815
GiftNoveltyAndSouvenirStores
est un
attribut
de
objet
objet
est une
instance
de
RetailStore
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
objet
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
(=>
(
attribute
?X
NewsDealersAndNewsstands
)
(
hasPurpose
?X
(
exists
(?SELL ?NEWS)
(
and
(
instance
?NEWS
Newspaper
)
(
instance
?SELL
Selling
)
(
patient
?SELL ?NEWS)
(
agent
?SELL ?X)))))
naics.kif 7678-7686
NewsDealersAndNewsstands
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
Newspaper
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
objet
(=>
(
attribute
?X
PassengerCarRental
)
(
hasPurpose
?X
(
exists
(?RENT ?CAR ?CUST)
(
and
(
customer
?CUST ?X)
(
instance
?CAR
Automobile
)
(
instance
?RENT
Renting
)
(
possesses
?X ?CAR)
(
agent
?RENT ?CUST)))))
naics.kif 9711-9720
PassengerCarRental
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
customer
entit�
and
objet
entit�
est une
instance
de
Automobile
entit�
est une
instance
de
Renting
objet
poss
�de
entit�
entit�
est un
agent
de
entit�
(=>
(
attribute
?X
PoliticalFigure
)
(
exists
(?EV)
(
and
(
agent
?EV ?X)
(
instance
?EV
PoliticalProcess
))))
Mid-level-ontology.kif 22535-22540
PoliticalFigure
est un
attribut
de
AutonomousAgent
processus
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
processus polotique
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
