Human
(Umano)
(=>
(
and
(
instance
?LANG
AnimalLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
and
(
instance
?AGENT
Animal
)
(
not
(
instance
?AGENT
Human
))))
Merge.kif 1420-1427
Oggetto
è un'
istanza
di
LinguaggioAnimale
Processo
è un
agente
di
AutonomousAgent
Oggetto
è uno
strumento
per
Processo
AutonomousAgent
è un'
istanza
di
Animale
AutonomousAgent
è un'
istanza
di
Umano
(=>
(
and
(
instance
?LANG
HumanLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
instance
?AGENT
Human
))
Merge.kif 1453-1458
Oggetto
è un'
istanza
di
LinguaggioUmano
Processo
è un
agente
di
AutonomousAgent
Oggetto
è uno
strumento
per
Processo
AutonomousAgent
è un'
istanza
di
Umano
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
è un'
istanza
di
Menu
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
FoodForFn
Umano
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))))
emotion.kif 1393-1411
Processo
è un'
istanza
di
MovingAwayFromPeople
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
,
NumeroReale
and
NumeroReale
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
UnitOfLength
la
distanza
tra
Processo
e
AutonomousAgent
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
distanza
tra
Processo
e
AutonomousAgent
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
agent
?MTP ?A))
(
exists
(?P ?U ?D1 ?D2)
(
and
(
instance
?P
Human
)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MTP))
(
distance
?MTP ?A
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D1 ?D2))))
emotion.kif 1427-1445
Processo
è un'
istanza
di
MovingTowardsPeople
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
,
NumeroReale
and
NumeroReale
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
UnitOfLength
la
distanza
tra
Processo
e
AutonomousAgent
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
distanza
tra
Processo
e
AutonomousAgent
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AgricultureForestryFishingAndHunting
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?MEM)
(
exists
(?THING ?EV2 ?MEM2)
(
and
(
or
(
instance
?EV
Killing
)
(
instance
?EV
Maintaining
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Animal
)
(
instance
?THING
Plant
))
(
not
(
instance
?THING
Human
))
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 50-72
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
AgricultureForestryFishingAndHunting
Processo
AutonomousAgent
AutonomousAgent
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
Processo
è un'
istanza
di
Uccidere
Processo
è un'
istanza
di
Mantenere
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Animale
Entit�
è un'
istanza
di
Pianta
Entit�
è un'
istanza
di
Umano
AutonomousAgent
2 è un
membro
di
InsiemeConcreto
Processo
2 è un'
istanza
di
Vendere
Processo
2 è un
agente
di
AutonomousAgent
2
Entit�
è un
paziente
di
Processo
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AirTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?FLY ?PLANE ?OBJ)
(
and
(
instance
?FLY
Transportation
)
(
or
(
patient
?FLY ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?FLY ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?PLANE)
(
instance
?PLANE
Aircraft
))) ?MEM ?P))))))
naics.kif 7953-7978
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
AirTransportationIndustry
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
AgenteCognitivo
LANE and
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
è un
paziente
di
Entit�
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Oggetto
InsiemeConcreto
possiede
es
AgenteCognitivo
LANE
AgenteCognitivo
LANE è un'
istanza
di
Aircraft
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
CouriersAndMessengers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8736-8756
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
CouriersAndMessengers
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Oggetto
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
GeneralMerchandiseStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7702-7716
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
GeneralMerchandiseStores
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Oggetto
AutonomousAgent
fine
s in
Entit�
Entit�
è un
paziente
di
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
MiscellaneousStoreRetailers
))
(
exists
(?EV ?MEM ?THING ?ST ?P)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?P)
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?ST
RetailStore
)
(
eventLocated
?EV ?ST)
(
instance
?THING
Object
)
(
patient
?EV ?THING))))
naics.kif 7752-7765
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
MiscellaneousStoreRetailers
Processo
Entit�Concreta
,
Entit�
,
Oggetto
and
AutonomousAgent
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Vendere
AutonomousAgent
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
RetailStore
eventLocated
Processo
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
NonstoreRetailers
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Oggetto
eventLocated
AutonomousAgent
and
RetailStore
AutonomousAgent
fine
s in
Entit�
Entit�
è un
paziente
di
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PipelineTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ ?PIPE)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Substance
)
(
possesses
?ORG ?V)
(
instrument
?T ?PIPE)
(
instance
?PIPE
Pipeline
))) ?MEM ?P))))))
naics.kif 8465-8488
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
PipelineTransportation
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
,
Entit�
and
AgenteCognitivo
IPE
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Sostanza
InsiemeConcreto
possiede
es
Entit�
AgenteCognitivo
IPE è uno
strumento
per
Entit�
AgenteCognitivo
IPE è un'
istanza
di
Pipeline
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PostalService
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8707-8727
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
PostalService
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Oggetto
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
RailTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?MOVE ?RR ?OBJ)
(
and
(
instance
?MOVE
Transportation
)
(
or
(
patient
?MOVE ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?MOVE ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?RR)
(
instance
?RR
RailVehicle
))) ?MEM ?P))))))
naics.kif 8034-8059
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
RailTransportation
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
è un
paziente
di
Entit�
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Oggetto
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
RailVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ScenicAndSightseeingTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS ?VEH)
(
and
(
instance
?TRANS
Transportation
)
(
instance
?TRANS
RecreationOrExercise
)
(
patient
?TRANS ?P)
(
possesses
?ORG ?VEH)
(
instance
?VEH
Vehicle
))) ?MEM ?P))))))
naics.kif 8528-8549
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
ScenicAndSightseeingTransportation
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�
è un'
istanza
di
PassatempoOEsercizio
AgenteCognitivo
è un
paziente
di
Entit�
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
Vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TransitAndGroundPassengerTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?P)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8344-8364
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
TransitAndGroundPassengerTransportation
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
è un
paziente
di
Entit�
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
LandVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TruckTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8253-8275
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
TruckTransportation
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Oggetto
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
LandVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
WarehousingAndStorage
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Oggetto
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
Entit�
è un'
istanza
di
IntervalloTemporale
Entit�
è un'
istanza
di
Costruzione
AgenteCognitivo
possiede
es
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
Entit�
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
WaterTransportationIndustry
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
è un
paziente
di
Entit�
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Oggetto
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
WaterVehicle
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
Processo
è un'
istanza
di
FoodPickup
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Umano
Oggetto
Processo
and
Processo
AutonomousAgent
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Translocation
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Oggetto
Processo
è un'
istanza
di
Ottenere
Processo
si
originas in
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
WearableItem
è un'
istanza
di
SafetyHarness
Animale
è un'
istanza
di
Animale
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
WearableItem
è uno
strumento
per
Entit�
Animale
è un
paziente
di
Entit�
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
(=>
(
and
(
instance
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5262-5266
WearableItem
è un'
istanza
di
Shirt
wears
Animale
and
WearableItem
Animale
è un'
istanza
di
Umano
(=>
(
and
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?OBJ)
(
attribute
?SOUND
Audible
))
(
exists
(?HUMAN ?HEAR)
(
and
(
instance
?HUMAN
Human
)
(
capability
(
KappaFn
?HEAR
(
and
(
instance
?HEAR
Hearing
)
(
agent
?HEAR ?HUMAN)
(
destination
?HEAR ?HUMAN)
(
origin
?HEAR ?OBJ)))
agent
?HUMAN))))
Merge.kif 13610-13624
Processo
è un'
istanza
di
OndaSonora
Processo
è un
agente
di
AutonomousAgent
attribute
Processo
and
Audible
Oggetto
Stringa
Oggetto
è un'
istanza
di
Umano
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
agent
(=>
(
and
(
instance
?T
Thanking
)
(
destination
?T ?P))
(
instance
?P
Human
))
Mid-level-ontology.kif 13160-13164
Processo
è un'
istanza
di
Thanking
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Umano
(=>
(
and
(
instance
?THANK
Thanking
)
(
agent
?THANK ?AGENT)
(
patient
?THANK ?THING)
(
destination
?THANK ?PERSON))
(
and
(
instance
?PERSON
Human
)
(
or
(
holdsDuring
(
WhenFn
?THANK)
(
wants
?AGENT ?THING))
(
holdsDuring
(
WhenFn
?THANK)
(
desires
?AGENT ?THING)))))
Mid-level-ontology.kif 13148-13158
Processo
è un'
istanza
di
Thanking
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Umano
AutonomousAgent
vuole
s
Entit�
vales
durante
il
tempo
di esistenza di
Processo
AutonomousAgent
desidera
s
Entit�
vales
durante
il
tempo
di esistenza 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