agent
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING
AccessingWebPage
)
(
equal
(
FirstFn
?LIST) ?ACCESSING))
(
not
(
exists
(?ACCESSING2)
(
and
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING2 ?USER)
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING))))))
UXExperimentalTerms.kif 783-797
viewedItemList
AutonomousAgent
and
liste
physique
est une
instance
de
AccessingWebPage
FirstFn
liste
est
physique
physique
2
physique
2 est une
instance
de
AccessingWebPage
physique
2 est un
agent
de
AutonomousAgent
temps
d'existence de
physique
2 arrive
plus
t�t que
temps
d'existence de
physique
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
))
(
not
(
exists
(?Observe ?A ?B ?D2)
(
and
(
instance
?Observe
Looking
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
during
(
WhenFn
?Observe) ?Time)
(
eventLocated
?Observe ?Area)
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?Distance)))))
Weather.kif 2705-2722
visibilityInMeteorology
r�gion
,
interval temporel
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
processus
AutonomousAgent
,
objet
and
nombre r�el
processus
est une
instance
de
Looking
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est
Horizontal
�
objet
temps
d'existence de
processus
prend place
pendant
interval temporel
eventLocated
processus
and
r�gion
la
distance
entre
AutonomousAgent
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
watchingListings
AutonomousAgent
,
collection
and
WebSite
processus
est une
instance
de
WebListing
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
processus
est un
membre
de
collection
l'argument
AutonomousAgent
desire
entit�
entit�
est une
instance
de
acheter
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
webPurchases
collection
,
humain
and
WebSite
financial transaction
est un
membre
de
collection
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
humain
eCommerceSite
financial transaction
and
WebSite
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
webSales
collection
,
humain
and
WebSite
financial transaction
est un
membre
de
collection
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
humain
eCommerceSite
financial transaction
and
WebSite
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
instance
?OBJ
Object
)
(
member
?OBJ ?COLL))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 690-700
webcart
agent cognitif
,
collection
and
WebSite
physique
est une
instance
de
objet
physique
est un
membre
de
collection
agent cognitif
desire
entit�
entit�
est une
instance
de
acheter
physique
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
(=>
(
askPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Selling)
(
and
(
instance
?Selling
Selling
)
(
agent
?Selling ?Agent)
(
patient
?Selling ?Obj)
(
transactionAmount
?Selling ?Money)))))))
FinancialOntology.kif 1933-1943
askPrice
objet
,
mesure de devise
and
AutonomousAgent
processus
processus
est une
instance
de
Offering
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
AutonomousAgent
objet
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
est un
patient
de
processus
(=>
(
attribute
?A
Bored
)
(
exists
(?DO)
(
and
(
instance
?DO
IntentionalProcess
)
(
agent
?DO ?A)
(
holdsDuring
(
WhenFn
?DO)
(
desires
?A
(
not
(
agent
?DO ?A)))))))
Mid-level-ontology.kif 19827-19836
Bored
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
desire
processus
est un
agent
de
AutonomousAgent
pendant
temps
d'existence de
processus
(=>
(
attribute
?A
Deaf
)
(
not
(
capability
Hearing
agent
?A)))
Mid-level-ontology.kif 19781-19784
Deaf
est un
attribut
de
objet
objet
est
capable
de faire
entendre
dans le r�le
agent
(=>
(
attribute
?A
Hungry
)
(
desires
?A
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?A)))))
Mid-level-ontology.kif 19790-19796
Hungry
est un
attribut
de
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
manger
entit�
est un
agent
de
agent cognitif
(=>
(
attribute
?A
SecurityOfficer
)
(
hasPurpose
?A
(
exists
(?LE)
(
and
(
instance
?LE
LawEnforcement
)
(
agent
?LE ?A)))))
MilitaryPersons.kif 754-760
SecurityOfficer
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
LawEnforcement
entit�
est un
agent
de
objet
(=>
(
attribute
?A
Thirsty
)
(
desires
?A
(
exists
(?D)
(
and
(
instance
?D
Drinking
)
(
agent
?D ?A)))))
Mid-level-ontology.kif 19803-19809
Thirsty
est un
attribut
de
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
boire
entit�
est un
agent
de
agent cognitif
(=>
(
attribute
?A
Tired
)
(
desires
?A
(
exists
(?S)
(
and
(
instance
?S
Sleeping
)
(
agent
?S ?A)))))
Mid-level-ontology.kif 19815-19821
Tired
est un
attribut
de
agent cognitif
agent cognitif
desire
entit�
entit�
est une
instance
de
Sleeping
entit�
est un
agent
de
agent cognitif
(=>
(
attribute
?AGENT
Blind
)
(
not
(
capability
Seeing
agent
?AGENT)))
Mid-level-ontology.kif 19773-19775
Blind
est un
attribut
de
objet
objet
est
capable
de faire
voir
dans le r�le
agent
(=>
(
attribute
?Agent
Investor
)
(
exists
(?Investing)
(
agent
?Investing ?Agent)))
FinancialOntology.kif 1781-1784
Investor
est un
attribut
de
AutonomousAgent
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
attribute
?COACH
Coach
)
(
exists
(?ATHLETE ?GAME ?EDUCATION)
(
and
(
instance
?ATHLETE
Human
)
(
instance
?GAME
Game
)
(
instance
?EDUCATION
EducationalProcess
)
(
agent
?EDUCATION ?COACH)
(
patient
?EDUCATION ?ATHLETE)
(
refers
?EDUCATION ?GAME))))
Sports.kif 524-533
Coach
est un
attribut
de
AutonomousAgent
entit�
entit�
and
processus
entit�
est une
instance
de
humain
entit�
est une
instance
de
jeu
processus
est une
instance
de
processus educationnel
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
inclut une
r
�f�rence �
entit�
(=>
(
attribute
?DOCTOR
MedicalDoctor
)
(
exists
(?PROCESS1 ?PROCESS2)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
capability
?PROCESS1
agent
?DOCTOR)
(
capability
?PROCESS2
agent
?DOCTOR))))
Mid-level-ontology.kif 21035-21042
MedicalDoctor
est un
attribut
de
objet
processus
processus
processus
est une
sous
-classe de
processus de diagnostique
processus
est une
sous
-classe de
processus therapeutique
objet
est
capable
de faire
processus
dans le r�le
agent
objet
est
capable
de faire
processus
dans le r�le
agent
(=>
(
attribute
?FEED
Fodder
)
(
hasPurpose
?FEED
(
exists
(?ANIMAL ?EAT)
(
and
(
instance
?ANIMAL
DomesticAnimal
)
(
instance
?EAT
Eating
)
(
agent
?EAT ?ANIMAL)
(
patient
?EAT ?FEED)))))
Mid-level-ontology.kif 20051-20059
Fodder
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
DomesticAnimal
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
objet
est un
patient
de
entit�
(=>
(
attribute
?H
Anorexia
)
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?H)
(
needs
?H ?E)
(
not
(
wants
?H ?E)))))
Medicine.kif 5037-5045
Anorexia
est un
attribut
de
agent cognitif
processus
processus
est une
instance
de
manger
processus
est un
agent
de
agent cognitif
agent cognitif
a
besoin
de
processus
agent cognitif
ne
veut
%n{pas}
processus
(=>
(
attribute
?H
Bulimia
)
(
exists
(?E ?P)
(
and
(
instance
?E
Eating
)
(
or
(
instance
?P
Vomiting
)
(
instance
?P
Defecating
))
(
agent
?P ?H)
(
wants
?H ?P)
(
earlier
(
WhenFn
?E)
(
WhenFn
?P)))))
Medicine.kif 5010-5022
Bulimia
est un
attribut
de
agent cognitif
physique
processus
physique
est une
instance
de
manger
processus
est une
instance
de
Vomiting
processus
est une
instance
de
Defecating
processus
est un
agent
de
agent cognitif
agent cognitif
veut
processus
temps
d'existence de
physique
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
attribute
?H
IntelligenceOfficer
)
(
hasPurpose
?H
(
exists
(?I)
(
and
(
instance
?I
IntelligenceActivities
)
(
agent
?I ?H)))))
MilitaryPersons.kif 771-777
IntelligenceOfficer
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
IntelligenceActivities
entit�
est un
agent
de
objet
(=>
(
attribute
?H
ObsessiveCompulsiveDisorder
)
(
exists
(?COL ?C)
(
and
(
memberType
?COL ?C)
(
or
(
subclass
?C
Investigating
)
(
subclass
?C
Cleaning
))
(=>
(
instance
?CI ?C)
(
and
(
agent
?CI ?H)
(
not
(
wants
?H ?CI)))))))
Medicine.kif 4025-4038
ObsessiveCompulsiveDisorder
est un
attribut
de
agent cognitif
collection
classe
memberType
collection
and
classe
classe
est une
sous
-classe de
enqu�ter
classe
est une
sous
-classe de
Cleaning
classe
I est une
instance
de
classe
classe
I est un
agent
de
agent cognitif
agent cognitif
ne
veut
%n{pas}
classe
I
(=>
(
attribute
?H
Potter
)
(
exists
(?M ?P)
(
and
(
instance
?P
Pottery
)
(
instance
?M
Making
)
(
agent
?M ?H)
(
result
?M ?P))))
Mid-level-ontology.kif 20866-20873
Potter
est un
attribut
de
AutonomousAgent
processus
entit�
entit�
est une
instance
de
Pottery
processus
est une
instance
de
faire
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
(=>
(
attribute
?H
Valet
)
(
hasPurpose
?H
(
and
(
instance
?VEHICLE
Vehicle
)
(
instance
?PUT
Putting
)
(
destination
?PUT ?PARK)
(
instance
?PARK
ParkingRegion
)
(
patient
?PUT ?VEHICLE)
(
agent
?PUT ?H))))
TransportDetail.kif 132-141
Valet
est un
attribut
de
objet
objet
a pour
but
entit�
est une
instance
de
Vehicle
entit�
est une
instance
de
mettre
entit�
aboutit
�
entit�
entit�
est une
instance
de
ParkingRegion
entit�
est un
patient
de
entit�
entit�
est un
agent
de
objet
(=>
(
attribute
?INDIVIDUAL
InternetUser
)
(
exists
(?PROCESS)
(
and
(
agent
?PROCESS ?INDIVIDUAL)
(
instrument
?PROCESS
Internet
))))
Communications.kif 456-461
InternetUser
est un
attribut
de
AutonomousAgent
processus
processus
est un
agent
de
AutonomousAgent
Internet
est un
instrument
pour
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