agent
(=>
(
and
(
customer
?CUST ?AGENT)
(
employs
?AGENT ?X)
(
attribute
?AGENT
TravelerAccommodation
)
(
attribute
?X
Porter
)
(
possesses
?CUST ?LUGGAGE)
(
instance
?LUGGAGE
TravelContainer
))
(
exists
(?ROOM ?CARRY)
(
and
(
instance
?ROOM
HotelUnit
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)
(
or
(
destination
?CARRY ?ROOM)
(
origin
?CARRY ?ROOM)))))
Hotel.kif 2392-2407
customer
AgenteCognitivo
and
AutonomousAgent
AutonomousAgent
impiega
s
AgenteCognitivo
attribute
AutonomousAgent
and
TravelerAccommodation
attribute
AgenteCognitivo
and
Porter
AgenteCognitivo
possiede
es
Oggetto
Oggetto
è un'
istanza
di
TravelContainer
Oggetto
Processo
Oggetto
è un'
istanza
di
HotelUnit
Processo
è un'
istanza
di
Carrying
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
Oggetto
Processo
si
originas in
Oggetto
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�
è un'
istanza
di
Entit�Concreta
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Entit�
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
and
Entit�
%è un
elemento
di
Possibility
Entit�
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
engineeringSubcomponent
?DEVICE1
Internet
)
(
engineeringSubcomponent
?DEVICE2
Internet
)
(
not
(
equal
?DEVICE1 ?DEVICE2)))
(
hasPurpose
Internet
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
agent
?COMM ?DEVICE1)
(
destination
?COMM ?DEVICE2)
(
instrument
?COMM
Internet
)))))
Hotel.kif 1347-1358
Meccanismo
è un
componente
di
Internet
Meccanismo
è un
componente
di
Internet
Meccanismo
is
uguale
a
Meccanismo
Internet
ha
scopo
Entit�
Entit�
è un'
istanza
di
Comunicazione
Entit�
è un
agente
di
Meccanismo
Entit�
fine
s in
Meccanismo
Internet
è uno
strumento
per
Entit�
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
NumeroReale
McgPerKg
(s is
uguale
a
PerFn
MisuraDiMassa
and
MisuraDiMassa
MisuraDiMassa
is
uguale
a
NumeroReale
un
milionesimo
di
Gram
(s
MisuraDiMassa
is
uguale
a
NumeroReale
1
mille
Gram
s(s
Processo
OggettoIntegro
and
OggettoIntegro
Processo
è un'
istanza
di
Ingestione
OggettoIntegro
è un'
istanza
di
SostanzaBiologicamenteAttiva
OggettoIntegro
è un'
istanza
di
Organismo
OggettoIntegro
è un
paziente
di
Processo
Processo
è un
agente
di
OggettoIntegro
weight
OggettoIntegro
and
MisuraDiMassa
weight
OggettoIntegro
and
MisuraDiMassa
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
firstTimeBuyers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
has luogo
durante
IntervalloTemporale
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
firstTimeBuyers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
accades
prima
di
IntervalloTemporale
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3582-3591
firstTimeSellers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
has luogo
durante
IntervalloTemporale
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
firstTimeSellers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
accades
prima
di
IntervalloTemporale
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Entit�Concreta
è una
sottoclasse
di
Oggetto
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�
esperisce
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
Umano
and
AutonomousAgent
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
TemporaryResidence
è un'
istanza
di
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
TemporaryResidence
AutonomousAgent
permette
a
Umano
di compiere il compito di tipo
Entit�
Entit�
è un
agente
di
Umano
Entit�Concreta
è uno
strumento
per
Entit�
Entit�Concreta
è un
paziente
di
Entit�
Entit�Concreta
è una
risorsa
per
Entit�
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
AgenteCognitivo
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
AgenteCognitivo
non
conosce
password
ComputerPassword
and
UserAccount
AgenteCognitivo
conosce
s
recoveryKey
Entit�
and
UserAccount
AgenteCognitivo
possiede
es
Computer
l'affermazione
Entit�
Entit�
è un'
istanza
di
ChangingPassword
UserAccount
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
ha il modello di forza di
Possibility
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
attribute
AutonomousAgent
and
AVPUVerbalStatus
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Speaking
Processo
fine
s in
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
causa
s
Processo
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
attribute
AutonomousAgent
and
Evacuee
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
AutonomousAgent
Processo
è un'
istanza
di
Evacuation
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
MilitaryOrganization
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29620-29632
Processo
è un'
istanza
di
Apologizing
Processo
è un
agente
di
Processo
G
Processo
fine
s in
AutonomousAgent
Processo
CT
suffers
Processo
CT and
AutonomousAgent
Processo
CT è un
agente
di
Processo
G
Processo
G non
vuole
Processo
CT vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30242-30253
AutonomousAgent
è un'
istanza
di
AutonomousAgent
attribute
AutonomousAgent
and
Motionless
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
MovimentoCorporeo
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
(=>
(
and
(
instance
?A
MedicalPerson
)
(
attribute
?C ?A))
(
hasPurpose
?C
(
exists
(?TP)
(
and
(
instance
?TP
TherapeuticProcess
)
(
agent
?TP ?C)))))
Medicine.kif 6338-6346
Attributo
è un'
istanza
di
MedicalPerson
attribute
Oggetto
and
Attributo
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
ProcessoTerapeutico
Entit�
è un
agente
di
Oggetto
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ELECTION
(
ElectionFn
?AGENT)))
(
agent
?ELECTION ?AGENT))
Government.kif 1700-1704
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?AGREEMENT
InternationalAgreement
)
(
instance
?COMMITTING
Committing
)
(
represents
?COMMITTING ?AGREEMENT))
(
exists
(?AGENT)
(
and
(
agent
?COMMITTING ?AGENT)
(
instance
?AGENT
Nation
))))
Geography.kif 3001-3009
Entit�
è un'
istanza
di
InternationalAgreement
Processo
è un'
istanza
di
Impegnarsi
Processo
esprime
Entit�
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Nazione
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
Processo
è un'
istanza
di
Ambulating
Processo
è un'
istanza
di
Stepping
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
Processo
è un'
istanza
di
Ambulating
Processo
è un'
istanza
di
Stepping
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?AMBUSH
Ambush
)
(
agent
?AMBUSH ?AG))
(
exists
(?C)
(
and
(
instance
?C
Concealing
)
(
subProcess
?C ?AMBUSH)
(
hasPurpose
?C
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AG)))))))
Mid-level-ontology.kif 21757-21769
Processo
è un'
istanza
di
Ambush
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Concealing
Processo
è un
sottoprocesso
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Attack
Entit�
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2162-2175
AutonomousAgent
è un'
istanza
di
Animale
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
AutonomousAgent
and
Attributo
Trasferimento
Oggetto
Trasferimento
è un'
istanza
di
ProcesoBiologico
Trasferimento
è un'
istanza
di
Spostamento
Trasferimento
si
originas in
AutonomousAgent
Oggetto
è un'
istanza
di
Sewage
Trasferimento
è un
agente
di
AutonomousAgent
objectTransferred
Trasferimento
and
Oggetto
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
Processo
è un'
istanza
di
AirPhotographicReconnaissance
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Photographing
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?AR
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
Processo
è un'
istanza
di
AmphibiousReconnaissance
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
LandingWaterLand
Processo
è un
agente
di
AutonomousAgent
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