patient
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11753-11764
Processo
è un'
istanza
di
PrendereInPrestito
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
DareInPrestito
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?BP
BrakePad
)
(
instance
?BR
BrakeRotor
)
(
instance
?R
Rotating
)
(
patient
?R ?BR)
(
instance
?F
Friction
)
(
resource
?F ?BP)
(
patient
?F ?BR))
(
not
(
patient
?R ?BP)))
Cars.kif 617-627
Oggetto
è un'
istanza
di
BrakePad
Entit�
è un'
istanza
di
BrakeRotor
Processo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
Friction
Oggetto
è una
risorsa
per
Processo
Entit�
è un
paziente
di
Processo
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
instance
?BS
BrakeShoe
)
(
instance
?BD
BrakeDrum
)
(
instance
?R
Rotating
)
(
patient
?R ?BD)
(
instance
?F
Friction
)
(
resource
?F ?BS)
(
patient
?F ?BD))
(
not
(
patient
?R ?BS)))
Cars.kif 639-649
Oggetto
è un'
istanza
di
BrakeShoe
Entit�
è un'
istanza
di
BrakeDrum
Processo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
Friction
Oggetto
è una
risorsa
per
Processo
Entit�
è un
paziente
di
Processo
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11927-11938
Processo
è un'
istanza
di
Acquistare
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?C
CavalryUnit
)
(
instance
?B
Battle
)
(
agent
?B ?C))
(
exists
(?P ?V ?T)
(
and
(
attribute
?P
Soldier
)
(
member
?P ?C)
(
instance
?T
Transportation
)
(
agent
?T ?P)
(
instance
?V
Vehicle
)
(
patient
?T ?V)
(
during
?T ?B))))
Mid-level-ontology.kif 8386-8399
AutonomousAgent
è un'
istanza
di
CavalryUnit
IntervalloTemporale
è un'
istanza
di
Battaglia
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
Entit�
and
IntervalloTemporale
attribute
AutonomousAgent
and
Soldier
AutonomousAgent
è un
membro
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Trasporto
IntervalloTemporale
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
Vehicle
Entit�
è un
paziente
di
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1844-1862
Oggetto
è un'
istanza
di
Clutch
Oggetto
è un'
istanza
di
Automobile
Oggetto
è un'
istanza
di
Engine
Oggetto
è un'
istanza
di
Gearbox
Oggetto
EAR è un'
istanza
di
Gear
Oggetto
EAR è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
DeviceOff
Processo
2
Processo
2 è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
2
Processo
causa
s
Processo
2
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1823-1842
Oggetto
è un'
istanza
di
Clutch
Oggetto
è un'
istanza
di
Automobile
Oggetto
è un'
istanza
di
Engine
Oggetto
è un'
istanza
di
Gearbox
Oggetto
EAR è un'
istanza
di
Gear
Oggetto
EAR è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
DeviceOn
Processo
2
Processo
2 è un'
istanza
di
Movimento
Oggetto
è un
paziente
di
Processo
2
Processo
causa
s
Processo
2
(=>
(
and
(
instance
?C
Concealing
)
(
patient
?C ?OBJ))
(
hasPurpose
?C
(
not
(
exists
(?S)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?OBJ))))))
Mid-level-ontology.kif 5488-5497
Processo
è un'
istanza
di
Concealing
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Vista
Entit�
è un
paziente
di
Entit�
(=>
(
and
(
instance
?C
Convoy
)
(
member
?VEH ?C))
(
exists
(?DRIVE)
(
and
(
instance
?DRIVE
Driving
)
(
overlapsTemporally
(
WhenFn
?DRIVE)
(
WhenFn
?C))
(
patient
?DRIVE ?VEH))))
Mid-level-ontology.kif 22347-22355
InsiemeConcreto
è un'
istanza
di
Convoy
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
Driving
il
tempo
di esistenza di
InsiemeConcreto
sovrappone
s il
tempo
di esistenza di
Processo
Entit�Concreta
è un
paziente
di
Processo
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
Oggetto
è un'
istanza
di
Crankshaft
Oggetto
è un'
istanza
di
IntermittentCombustionEngine
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Explosion
Entit�
è un'
istanza
di
Rotating
Oggetto
è un
paziente
di
Entit�
eventLocated
Entit�
and
Oggetto
Entit�
causa
s
Entit�
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
Processo
è un'
istanza
di
Cricothyroidotomy
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
ImpairmentFn
Respirazione
Entit�
è un
paziente
di
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
Entit�
è un'
istanza
di
ImpairmentFn
Respirazione
Entit�
è un
paziente
di
Entit�
non vale
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?B ?SC)
(
and
(
instance
?B
Breaking
)
(
causes
?C ?B)
(
subProcess
?B ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?B ?O)
(
patient
?SC ?O))))
Food.kif 980-992
Processo
è un'
istanza
di
Crushing
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Oggetto
Processo
Processo
Processo
è un'
istanza
di
Breaking
Processo
causa
s
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
CambiamentoDiForma
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
Food.kif 994-1003
Processo
è un'
istanza
di
Crushing
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Oggetto
Processo
Processo
è un
risultato
di
Processo
Processo
è un'
istanza
di
CambiamentoDiForma
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
Processo
è un'
istanza
di
Curdling
Sostanza
è un
paziente
di
Processo
Sostanza
è un'
istanza
di
Colloid
Processo
Sostanza
Processo
è un'
istanza
di
Separare
Processo
è un
sottoprocesso
di
Processo
Sostanza
è un
paziente
di
Processo
Sostanza
è un
risultato
di
Processo
Sostanza
è un
membro
di
Sostanza
Sostanza
è un'
istanza
di
Sostanza
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
Processo
è un'
istanza
di
CurdlingMilk
Entit�Concreta
è un'
istanza
di
Milk
Entit�Concreta
è un
paziente
di
Processo
NumeroReale
Processo
,
Entit�
and
Entit�
la
misura
Entit�Concreta
è
NumeroReale
PHValue
(s
Processo
è un'
istanza
di
Diminuzione
Processo
è un
sottoprocesso
di
Processo
NumeroReale
è un
paziente
di
Processo
NumeroReale
is
uguale
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
NumeroReale
is
uguale
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
CuringFood
)
(
instance
?F
Food
)
(
patient
?C ?F))
(
exists
(?D)
(
and
(
instance
?D
Drying
)
(
subProcess
?D ?C)
(
patient
?D ?F))))
Food.kif 96-105
Processo
è un'
istanza
di
CuringFood
Entit�
è un'
istanza
di
Cibo
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Asciugare
Processo
è un
sottoprocesso
di
Processo
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1513-1524
Organizzazione
è un'
istanza
di
GovernmentCabinet
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Organizzazione
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Affermare
Entit�
è un
agente
di
Organizzazione
Entit�
è un
paziente
di
Entit�
leader
Entit�
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
FinancialTransaction
))))
(
exists
(?ITEM ?BUYING)
(
equal
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Physical
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?COLL)
(
patient
?BUYING ?ITEM))))
(
BoughtItemsFn
?COLL))))
UXExperimentalTerms.kif 2887-2903
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
ScambioFinanziario
Stringa
Entit�
il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
BoughtItemsFn
InsiemeConcreto
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
WebListing
il numero di
istanzia
in
Entit�
Entit�
and
Entit�
la
classe
descritta da
Entit�
+ il numero di
istanzia
in
InsiemeConcreto
is
uguale
a
BidCountFn
InsiemeConcreto
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
exists
(?BIDDING ?ITEM ?LISTING ?BIDDING)
(
equal
(
CardinalityFn
(
KappaFn
?BIDDING
(
and
(
instance
?ITEM
Physical
)
(
instance
?LISTING
WebListing
)
(
instance
?BIDDING
Bidding
)
(
member
?LISTING ?COLL)
(
objectOfBid
?BIDDING ?ITEM)
(
patient
?LISTING ?ITEM))))
(
BidCountFn
?COLL))))
UXExperimentalTerms.kif 2922-2940
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
WebListing
Stringa
Entit�
,
Entit�
and
Stringa
il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
BidCountFn
InsiemeConcreto
(=>
(
and
(
instance
?COMMENTING
Commenting
)
(
instance
?PROCESS
Process
)
(
patient
?COMMENTING ?PROCESS))
(
exists
(?AGENT ?SPEAKING ?LOOKING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SPEAKING
Speaking
)
(
instance
?LOOKING
Looking
)
(
agent
?SPEAKING ?AGENT)
(
agent
?LOOKING ?AGENT)
(
patient
?LOOKING ?PROCESS)
(
refers
?SPEAKING ?PROCESS))))
Mid-level-ontology.kif 15886-15899
Processo
è un'
istanza
di
Commenting
Entit�
è un'
istanza
di
Processo
Entit�
è un
paziente
di
Processo
AutonomousAgent
Processo
and
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Speaking
Processo
è un'
istanza
di
Looking
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
include un
riferimento
a
Entit�
(=>
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?PERSON)
(
instance
?PERSON
Human
))
(
not
(
desires
?PERSON
(
patient
?CONFINE ?PERSON))))
Merge.kif 12234-12239
Processo
è un'
istanza
di
Imprigionare
AgenteCognitivo
è un
paziente
di
Processo
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
non
desidera
AgenteCognitivo
è un
paziente
di
Processo
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card)
(
instance
?Transaction
FinancialTransaction
)
(
instrument
?Transaction ?Card))
(
exists
(?PIN ?Enter)
(
and
(
pin
?PIN ?Card)
(
instance
?Enter
EnteringAPin
)
(
patient
?Enter ?PIN)
(
agent
?Enter ?Agent))))
FinancialOntology.kif 3543-3554
BankCard
è un'
istanza
di
DebitCard
AutonomousAgent
possiede
es
BankCard
Processo
è un'
istanza
di
ScambioFinanziario
BankCard
è uno
strumento
per
Processo
Stringa
Processo
pin
Stringa
and
BankCard
Processo
è un'
istanza
di
EnteringAPin
Stringa
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?Check
Check
)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check))
(
exists
(?Depositing)
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
time
?Depositing
(
ImmediatePastFn
(
WhenFn
?Processing))))))
FinancialOntology.kif 137-146
Entit�
è un'
istanza
di
Check
Processo
è un'
istanza
di
ProcessingACheck
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
DepositingACheck
Entit�
è un
paziente
di
Processo
Processo
esistes
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?Check
VerifyingCardCode
)
(
patient
?Check ?Code)
(
cardCode
?Code ?Card))
(
exists
(?Decode)
(
and
(
instance
?Decode
Decoding
)
(
subProcess
?Decode ?Check)
(
patient
?Decode ?Code))))
FinancialOntology.kif 3572-3581
Processo
è un'
istanza
di
VerifyingCardCode
OggettoSemiotico
è un
paziente
di
Processo
cardCode
OggettoSemiotico
and
BankCard
Processo
Processo
è un'
istanza
di
Decodificare
Processo
è un
sottoprocesso
di
Processo
OggettoSemiotico
è un
paziente
di
Processo
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