destination
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
Transf�re
est une
instance
de
Thoracentesis
objet
est un
patient
de
transf�re
transf�re
objet
,
transf�re
N,
objet
,
objet
and
objet
transf�re
est une
instance
de
Inserting
transf�re
est un
sous
-processus de
transf�re
objectTransferred
transf�re
and
objet
transf�re
a pour
origine
objet
transf�re
aboutit
�
transf�re
N
objet
est une
instance
de
Needle
Fluid
est un
attribut
de
objet
objectTransferred
transf�re
and
objet
objet
aboutit
�
objet
objet
est une
instance
de
Lung
objet
est une
instance
de
Chest
objet
est une
partie
de
objet
objet
est une
partie
de
objet
transf�re
a pour
origine
transf�re
N
transf�re
aboutit
�
objet
transf�re
N est
entre
objet
et
objet
objet
est
Outside
�
objet
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
Processus
est une
instance
de
Translocation
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
a pour
origine
objet
processus
aboutit
�
objet
processus
aboutit
�
entit�
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
processus
aboutit
�
entit�
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
commence
temps
d'existence de
processus
temps
d'existence de
processus
finit
temps
d'existence de
processus
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToBusiness
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
BusinessAccount
))))
UXExperimentalTerms.kif 1727-1746
Objet
est une
instance
de
financial transaction
BusinessToBusiness
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
est un
attribut
de
UserAccount
BusinessAccount
est un
attribut
de
UserAccount
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1759-1778
Objet
est une
instance
de
financial transaction
BusinessToConsumer
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
est un
attribut
de
UserAccount
ConsumerAccount
est un
attribut
de
UserAccount
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
ConsumerToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
ConsumerAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1791-1810
Objet
est une
instance
de
financial transaction
ConsumerToConsumer
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
ConsumerAccount
est un
attribut
de
UserAccount
ConsumerAccount
est un
attribut
de
UserAccount
(=>
(
and
(
instance
?TRANS
Selling
)
(
attribute
?TRANS
CBT
)
(
patient
?TRANS ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?SELLER
AutonomousAgent
)
(
destination
?TRANS ?BUYER)
(
agent
?TRANS ?SELLER)
(
instance
?BUYER_LOCATION
GeopoliticalArea
)
(
instance
?SELLER_LOCATION
GeopoliticalArea
)
(
located
?SELLER ?SELLER_LOCATION)
(
located
?BUYER ?BUYER_LOCATION)
(
not
(
equal
?BUYER_LOCATION ?SELLER_LOCATION)))))
UXExperimentalTerms.kif 1822-1839
Objet
est une
instance
de
vendre
CBT
est un
attribut
de
objet
entit�
est un
patient
de
objet
entit�
est une
instance
de
objet
AutonomousAgent
physique
,
physique
_LOCATION and
AutonomousAgent
_LOCATION
physique
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
objet
aboutit
�
physique
objet
est un
agent
de
AutonomousAgent
physique
_LOCATION est une
instance
de
secteur g�opolitique
AutonomousAgent
_LOCATION est une
instance
de
secteur g�opolitique
AutonomousAgent
est
situ
� �
AutonomousAgent
_LOCATION
physique
est
situ
� �
physique
_LOCATION
physique
_LOCATION est
AutonomousAgent
_LOCATION
(=>
(
and
(
instance
?V
PulmonaryVein
)
(
instance
?T
Transfer
)
(
patient
?T ?B)
(
instrument
?T ?V)
(
instance
?B
Blood
))
(
exists
(?L ?H ?P)
(
and
(
instance
?L
Lung
)
(
origin
?T ?L)
(
part
?V ?P)
(
part
?L ?P)
(
part
?H ?P)
(
instance
?H
Heart
)
(
destination
?T ?H))))
Mid-level-ontology.kif 11157-11172
Objet
est une
instance
de
PulmonaryVein
processus
est une
instance
de
transf�re
entit�
est un
patient
de
processus
objet
est un
instrument
pour
processus
entit�
est une
instance
de
sang
objet
objet
and
objet
objet
est une
instance
de
Lung
processus
a pour
origine
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
Heart
processus
aboutit
�
objet
(=>
(
and
(
instance
?V
Vein
)
(
instance
?T
Transfer
)
(
patient
?T ?B)
(
instrument
?T ?V)
(
instance
?B
Blood
))
(
exists
(?H)
(
and
(
instance
?H
Heart
)
(
destination
?T ?H))))
Mid-level-ontology.kif 11125-11135
Objet
est une
instance
de
Vein
processus
est une
instance
de
transf�re
entit�
est un
patient
de
processus
objet
est un
instrument
pour
processus
entit�
est une
instance
de
sang
entit�
entit�
est une
instance
de
Heart
processus
aboutit
�
entit�
(=>
(
and
(
instance
?X
DutyTax
)
(
refers
?X ?OBJ)
(
patient
?X ?OBJ))
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?OBJ)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
earlier
(
WhenFn
?T)
(
WhenFn
?X))
(
causes
?T ?X))))
FinancialOntology.kif 949-964
Processus
est une
instance
de
DutyTax
processus
inclut une
r
�f�rence �
entit�
entit�
est un
patient
de
processus
processus
objet
and
entit�
processus
est une
instance
de
transf�re
entit�
est un
patient
de
processus
processus
a pour
origine
objet
processus
aboutit
�
entit�
objet
est une
instance
de
nation
entit�
est une
instance
de
nation
objet
est
entit�
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
processus
cause
processus
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
Domestic
))
(
exists
(?ORIGIN ?DEST ?COUNTRY)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
located
?ORIGIN ?COUNTRY)
(
located
?DEST ?COUNTRY)
(
instance
?COUNTRY
Nation
))))
Mid-level-ontology.kif 27125-27135
Objet
est une
instance
de
TelephoneCommunication
Domestic
est un
attribut
de
objet
objet
physique
and
objet
objet
a pour
origine
objet
objet
aboutit
�
physique
objet
est
situ
� �
objet
physique
est
situ
� �
objet
objet
est une
instance
de
nation
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
International
))
(
exists
(?ORIGIN ?DEST ?CTRY1 ?CTRY2)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
located
?ORIGIN ?CTRY1)
(
located
?DEST ?CTRY2)
(
instance
?CTRY1
Nation
)
(
instance
?CTRY2
Nation
)
(
not
(
equal
?CTRY1 ?CTRY2)))))
Mid-level-ontology.kif 27142-27154
Objet
est une
instance
de
TelephoneCommunication
International
est un
attribut
de
objet
objet
physique
,
objet
and
objet
objet
a pour
origine
objet
objet
aboutit
�
physique
objet
est
situ
� �
objet
physique
est
situ
� �
objet
objet
est une
instance
de
nation
objet
est une
instance
de
nation
objet
est
objet
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
Local
))
(
exists
(?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
telephoneNumber
?TEL1 ?ORIGIN)
(
telephoneNumber
?TEL2 ?DEST)
(
telecomAreaCode
?CODE ?TEL1)
(
telecomAreaCode
?CODE ?TEL2))))
Mid-level-ontology.kif 27107-27118
Objet
est une
instance
de
TelephoneCommunication
Local
est un
attribut
de
objet
TelecomNumber
TelecomNumber
,
AutonomousAgent
,
AutonomousAgent
and
cha�ne sympbolique
objet
a pour
origine
AutonomousAgent
objet
aboutit
�
AutonomousAgent
telephoneNumber
TelecomNumber
and
AutonomousAgent
telephoneNumber
TelecomNumber
and
AutonomousAgent
telecomAreaCode
cha�ne sympbolique
and
TelecomNumber
telecomAreaCode
cha�ne sympbolique
and
TelecomNumber
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
valeur
de
objet
est
mesure de devise
processus
est une
instance
de
ProcessingACheck
objet
est un
patient
de
processus
processus
aboutit
�
CurrencyFn
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
temps
d'existence de
processus
est
processus
Time
financial transaction
financial transaction
Time
financial transaction
est une
instance
de
Deposit
objet
est un
instrument
pour
financial transaction
temps
d'existence de
financial transaction
est
financial transaction
Time
processus
Time
rencontre
financial transaction
Time
transactionAmount
financial transaction
and
mesure de devise
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
modalAttribute
(
exists
(?S ?ITEM)
(
and
(
instance
?S
Selling
)
(
patient
?S ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
transactionAmount
?S ?PRICE)))
Promise
))
Catalog.kif 276-289
negotiatedPrice
physique
,
mesure de devise
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
l'argument
entit�
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est une
instance
imm�diate de
physique
entit�
est un
agent
de
agent cognitif
entit�
aboutit
�
agent cognitif
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Promise
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
Agent cognitif
poss
�de
objet
agent cognitif
est une
instance
de
CommercialAgent
objet
est une
instance
de
ParkingLot
objet
est une
instance
de
immeuble
agent cognitif
est
situ
� �
objet
customer
agent cognitif
and
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
pendant
position temporel
processus
est une
instance
de
conduire
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
agent cognitif
autorise
AutonomousAgent
� ex�cut� des t�ches du type
entit�
est une
instance
de
garder
entit�
aboutit
�
objet
entit�
est un
patient
de
entit�
pendant
position temporel
(=>
(
and
(
property
?X
Booting
)
(
instance
?X
Computer
))
(
exists
(?CD ?OS ?DT)
(
and
(
instance
?CD
DigitalData
)
(
instance
?OS
OperatingSystem
)
(
instance
?DT
DataTransfer
)
(
during
(
WhenFn
?DT)
(
WhenFn
?X))
(
destination
?DT ?X)
(
part
?CD ?OS)
(
objectTransferred
?DT ?CD))))
ComputingBrands.kif 3217-3229
Physique
a un
attribute
Booting
physique
est une
instance
de
Computer
objet
objet
and
transf�re
objet
est une
instance
de
DigitalData
objet
est une
instance
de
OperatingSystem
transf�re
est une
instance
de
DataTransfer
temps
d'existence de
transf�re
prend place
pendant
temps
d'existence de
physique
transf�re
aboutit
�
physique
objet
est une
partie
de
objet
objectTransferred
transf�re
and
objet
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
rentalPrice
physique
,
function de quantit�
,
agent cognitif
and
PricingScheme
function de quantit�
est
PerFn
mesure de devise
and la
mesure
de
nombre r�el
est
unit� de mesure
unit� de mesure
est une
instance
de
UnitOfDuration
entit�
est une
instance
imm�diate de
physique
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
existe
pendant
nombre r�el
INT
interval temporel
nombre r�el
nombre r�el
INT prend place
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est plus
petit
ou �gal �
nombre r�el
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
agent cognitif
financial transaction
est un
agent
de
AutonomousAgent
transactionAmount
financial transaction
and
mesure de devise
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
reservationStart
point temporel
and
Reservation
reservationEnd
point temporel
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
l'argument
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
agent
de
AutonomousAgent
entit�
aboutit
�
AutonomousAgent
pendant
l'
intervale
entre
point temporel
et
point temporel
a la
force
modale
de
Likely
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
FoodRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?FOOD ?COOK ?CLASSIFY)
(
and
(
instance
?COOK
Cooking
)
(
agent
?COOK ?ENTITY)
(
result
?COOK ?FOOD)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?FOOD)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3062-3075
subjectiveAttribute
AutonomousAgent
,
attribut
and
AutonomousAgent
attribut
est une
instance
de
FoodRating
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
processus
and
processus
processus
est une
instance
de
cuisiner
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
processus
est une
instance
de
classifier
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
attribut
est un
patient
de
processus
(=>
(
and
(
subjectiveAttribute
?ENTITY ?ATTR ?AGENT)
(
instance
?ATTR
ServiceRating
)
(
instance
?ENTITY
AutonomousAgent
))
(
exists
(?SVC ?CLASSIFY)
(
and
(
instance
?SVC
ServiceProcess
)
(
agent
?SVC ?ENTITY)
(
instance
?CLASSIFY
Classifying
)
(
agent
?CLASSIFY ?AGENT)
(
destination
?CLASSIFY ?SVC)
(
patient
?CLASSIFY ?ATTR))))
Hotel.kif 3091-3103
subjectiveAttribute
AutonomousAgent
,
attribut
and
AutonomousAgent
attribut
est une
instance
de
ServiceRating
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
processus
processus
est une
instance
de
ServiceProcess
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
classifier
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
processus
attribut
est un
patient
de
processus
(=>
(
and
(
suppliesBlood
?AC ?BPC)
(
instance
?A ?AC)
(
instance
?BP ?BPC))
(
hasPurpose
?A
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
destination
?BF ?BP)))))
Anatomy.kif 1947-1958
suppliesBlood
Artery
and
partie du corps
physique
est une
instance
de
Artery
entit�
est une
instance
de
partie du corps
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
LiquidMotion
objectTransferred
entit�
and
entit�
entit�
est une
instance
de
sang
entit�
aboutit
�
entit�
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
inList
?ACCESSING ?LIST))
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
agent
?ACCESSING ?USER)
(
exists
(?DEST)
(
and
(
instance
?DEST
WebPage
)
(
destination
?ACCESSING
WebPage
)))))
UXExperimentalTerms.kif 771-781
viewedItemList
AutonomousAgent
and
liste
processus
est un
membre
de
liste
processus
est une
instance
de
AccessingWebPage
processus
est un
agent
de
AutonomousAgent
entit�
entit�
est une
instance
de
WebPage
processus
aboutit
�
WebPage
(=>
(
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
?M
CoinOperated
)
(
hasPurpose
?M
(
exists
(?C ?FT ?A ?ACT)
(
and
(
instance
?C
CurrencyCoin
)
(
instance
?FT
FinancialTransaction
)
(
destination
?FT ?M)
(
patient
?FT ?C)
(
origin
?FT ?A)
(
causes
?FT ?ACT)
(
wants
?A ?ACT)))))
Mid-level-ontology.kif 29474-29485
CoinOperated
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
,
entit�
and
entit�
CT
entit�
est une
instance
de
CurrencyCoin
entit�
est une
instance
de
financial transaction
entit�
aboutit
�
objet
entit�
est un
patient
de
entit�
entit�
a pour
origine
entit�
entit�
cause
entit�
CT
entit�
veut
entit�
CT
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
exists
(?EMIT ?S ?OBJ)
(
and
(
instance
?EMIT
RadiatingLight
)
(
resource
?EMIT ?S)
(
destination
?EMIT ?OBJ)
(
between
?S ?O ?OBJ)
(
holdsDuring
(
WhenFn
?EMIT)
(
attribute
?OBJ
Illuminated
))))
Possibility
))
Mid-level-ontology.kif 15152-15164
Translucent
est un
attribut
de
objet
l'argument
entit�
entit�
and
objet
BJ
entit�
est une
instance
de
lumi�re irradiante
entit�
est une
resource
pour
entit�
entit�
aboutit
�
objet
BJ
objet
est
entre
entit�
et
objet
BJ
Illuminated
est un
attribut
de
objet
BJ
pendant
temps
d'existence de
entit�
a la
force
modale
de
Possibility
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