possesses
(=>
(
instance
?SVC
TransportationService
)
(
exists
(?VEHICLE ?AGENT ?TRANS ?CUST)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
customer
?CUST ?AGENT)
(
instance
?VEHICLE
Vehicle
)
(
instance
?TRANS
Transportation
)
(
agent
?TRANS ?AGENT)
(
patient
?TRANS ?CUST)
(
instrument
?TRANS ?VEHICLE)
(
subProcess
?TRANS ?SVC))))
Transportation.kif 3340-3352
Processus
est une
instance
de
TransportationService
objet
AutonomousAgent
,
processus
and
agent cognitif
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
objet
est une
instance
de
Vehicle
processus
est une
instance
de
transporter
processus
est un
agent
de
AutonomousAgent
agent cognitif
est un
patient
de
processus
objet
est un
instrument
pour
processus
processus
est un
sous
-processus de
processus
(=>
(
instance
?Title
Title
)
(
exists
(?Property ?Agent)
(
containsInformation
?Title
(
possesses
?Agent ?Property))))
FinancialOntology.kif 3932-3935
ContentBearingPhysical
est une
instance
de
Title
entit�
entit�
ContentBearingPhysical
contient
information
entit�
poss
�de
entit�
(=>
(
instance
?X
CurrencyExchangeService
)
(
exists
(?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST ?M1 ?M2 ?NUM1 ?NUM2)
(
and
(
agent
?X ?CUST)
(
not
(
equal
?CURR1 ?CURR2))
(
instance
?AMT1
CurrencyMeasure
)
(
instance
?AMT2
CurrencyMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?X))
(
and
(
monetaryValue
?M1 ?AMT1)
(
possesses
?CUST ?M1)
(
equal
?AMT1
(
MeasureFn
?NUM1 ?CURR1))))
(
holdsDuring
(
EndFn
(
WhenFn
?X))
(
and
(
monetaryValue
?M2 ?AMT2)
(
possesses
?CUST ?M2)
(
not
(
possesses
?CUST ?M1))
(
equal
?AMT2
(
MeasureFn
?NUM2 ?CURR2)))))))
Hotel.kif 2104-2124
Processus
est une
instance
de
CurrencyExchangeService
entit�
entit�
,
entit�
,
entit�
,
AutonomousAgent
,
entit�
,
entit�
,
entit�
and
entit�
processus
est un
agent
de
AutonomousAgent
entit�
est
entit�
entit�
est une
instance
de
mesure de devise
entit�
est une
instance
de
mesure de devise
valeur
de
entit�
est
entit�
AutonomousAgent
poss
�de
entit�
entit�
est
entit�
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
valeur
de
entit�
est
entit�
AutonomousAgent
poss
�de
entit�
AutonomousAgent
ne
poss
�de %n{pas}
entit�
entit�
est
entit�
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
instance
?X
EducationalFacility
)
(
exists
(?ORG)
(
and
(
instance
?ORG
EducationalOrganization
)
(
possesses
?ORG ?X))))
Mid-level-ontology.kif 22581-22586
Objet
est une
instance
de
EducationalFacility
AutonomousAgent
AutonomousAgent
est une
instance
de
�cole
AutonomousAgent
poss
�de
objet
(=>
(
instance
?X
EmbassyBuilding
)
(
exists
(?EGOV ?OTHERGOV)
(
and
(
instance
?EGOV
Nation
)
(
instance
?OTHERGOV
Nation
)
(
not
(
equal
?EGOV ?OTHERGOV))
(
possesses
?EGOV ?X)
(
located
?X ?OTHERGOV))))
Mid-level-ontology.kif 22379-22388
Objet
est une
instance
de
EmbassyBuilding
AutonomousAgent
objet
AutonomousAgent
est une
instance
de
nation
objet
est une
instance
de
nation
AutonomousAgent
est
objet
AutonomousAgent
poss
�de
objet
objet
est
situ
� �
objet
(=>
(
instance
?X
GovernmentBuilding
)
(
exists
(?G)
(
and
(
instance
?G
Government
)
(
possesses
?G ?X))))
Mid-level-ontology.kif 22405-22410
Objet
est une
instance
de
GovernmentBuilding
AutonomousAgent
AutonomousAgent
est une
instance
de
gouvernement
AutonomousAgent
poss
�de
objet
(=>
(
instance
?X
Hijacking
)
(
exists
(?V ?A)
(
and
(
agent
?X ?A)
(
instance
?V
TransportationDevice
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
not
(
possesses
?A ?V)))
(
holdsDuring
(
WhenFn
?X)
(
possesses
?A ?V)))))
Mid-level-ontology.kif 21904-21917
Processus
est une
instance
de
Hijacking
entit�
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
v�hicule de transport
AutonomousAgent
ne
poss
�de %n{pas}
entit�
pendant
immediatement
avant
temps
d'existence de
processus
AutonomousAgent
poss
�de
entit�
pendant
temps
d'existence de
processus
(=>
(
instance
?X
RestaurantBuilding
)
(
hasPurpose
?X
(
exists
(?OWN ?EMP ?EV ?P ?PAY)
(
and
(
employs
?OWN ?EMP)
(
possesses
?OWN ?X)
(
instance
?P
Human
)
(
instance
?PAY
FinancialTransaction
)
(
agent
?PAY ?P)
(
patient
?PAY ?EMP)
(
confersRight
?EMP ?EV ?P)
(
instance
?EV
Eating
)
(
agent
?EV ?P)
(
eventLocated
?EV ?X)))))
Mid-level-ontology.kif 22560-22574
Physique
est une
instance
de
RestaurantBuilding
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
and
entit�
AY
entit�
emploie
entit�
entit�
poss
�de
physique
entit�
est une
instance
de
humain
entit�
AY est une
instance
de
financial transaction
entit�
AY est un
agent
de
entit�
entit�
est un
patient
de
entit�
AY
entit�
autorise
entit�
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
eventLocated
entit�
and
physique
(=>
(
landlord
?L ?U)
(
exists
(?R ?P)
(
and
(
possesses
?L ?U)
(
tenant
?P ?U)
(
agent
?R ?P)
(
instance
?R
Renting
)
(
patient
?R ?U))))
Mid-level-ontology.kif 6891-6899
landlord
AutonomousAgent
and
PermanentResidence
processus
AutonomousAgent
AutonomousAgent
poss
�de
PermanentResidence
tenant
AutonomousAgent
and
PermanentResidence
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
Renting
PermanentResidence
est un
patient
de
processus
(=>
(
managedBy
?OBJ ?AGENT)
(
exists
(?AGENT2 ?MAN)
(
and
(
possesses
?AGENT2 ?OBJ)
(
instance
?MAN
Managing
)
(
patient
?MAN ?OBJ)
(
agent
?MAN ?AGENT))))
Hotel.kif 648-655
managedBy
objet
and
AutonomousAgent
AutonomousAgent
2
processus
AutonomousAgent
2
poss
�de
objet
processus
est une
instance
de
diriger
objet
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
(=>
(
rents
?CUST ?AGENT ?OBJ ?TI)
(
holdsDuring
?TI
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?OBJ)
(
agent
?RENT ?CUST)
(
possesses
?AGENT ?OBJ)))))
Mid-level-ontology.kif 30001-30009
rents
AutonomousAgent
,
AutonomousAgent
,
objet
and
interval temporel
entit�
entit�
est une
instance
de
Renting
objet
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
AutonomousAgent
poss
�de
objet
pendant
interval temporel
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30890-30896
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
agent cognitif
desire
entit�
entit�
est une
instance
de
objet
agent cognitif
poss
�de
entit�
(=>
(
tenant
?P ?U)
(
exists
(?L ?R)
(
and
(
instance
?R
Renting
)
(
landlord
?L ?U)
(
agent
?R ?P)
(
possesses
?L ?U)
(
patient
?R ?U))))
Mid-level-ontology.kif 6907-6915
tenant
AutonomousAgent
and
PermanentResidence
AutonomousAgent
processus
processus
est une
instance
de
Renting
landlord
AutonomousAgent
and
PermanentResidence
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
poss
�de
PermanentResidence
PermanentResidence
est un
patient
de
processus
(=>
(
thirdPartyProduct
?ART ?ORG ?AG)
(
possesses
?AG ?ART))
ComputingBrands.kif 3941-3943
thirdPartyProduct
artefact
,
organisation
and
AutonomousAgent
AutonomousAgent
poss
�de
artefact
(=>
(
visitorParameter
?VISITOR ?FORMULA ?SITE)
(
exists
(?AGENT)
(
and
(
instance
?AGENT
CognitiveAgent
)
(
possesses
?AGENT ?SITE)
(
knows
?AGENT ?FORMULA))))
UXExperimentalTerms.kif 1179-1185
visitorParameter
AutonomousAgent
,
formule
and
WebSite
agent cognitif
agent cognitif
est une
instance
de
agent cognitif
agent cognitif
poss
�de
WebSite
agent cognitif
conna
�t
formule
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