Human
(Humano)
(=>
(
and
(
instance
?LANG
AnimalLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
and
(
instance
?AGENT
Animal
)
(
not
(
instance
?AGENT
Human
))))
Merge.kif 1420-1427
Objeto
e' uma
instancia
de
Linguagem Animal
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
AutonomousAgent
e' uma
instancia
de
Animal
AutonomousAgent
e' uma
instancia
de
Humano
(=>
(
and
(
instance
?LANG
HumanLanguage
)
(
agent
?PROC ?AGENT)
(
instrument
?PROC ?LANG))
(
instance
?AGENT
Human
))
Merge.kif 1453-1458
Objeto
e' uma
instancia
de
Linguagem Humana
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
instrumento
para
Processo
AutonomousAgent
e' uma
instancia
de
Humano
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
e' uma
instancia
de
Menu
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
FoodForFn
Humano
(=>
(
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
e' uma
instancia
de
MovingAwayFromPeople
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
,
Numero Real
and
Numero Real
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
UnitOfLength
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
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
e' uma
instancia
de
MovingTowardsPeople
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
,
Numero Real
and
Numero Real
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
UnitOfLength
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
a
distancia
entre
Processo
e
AutonomousAgent
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Colecao
e' uma
instancia
de
Organizacao
AgricultureForestryFishingAndHunting
e' um
atributo
de
Colecao
Processo
AutonomousAgent
AutonomousAgent
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
Processo
e' uma
instancia
de
Matar
Processo
e' uma
instancia
de
Preservar
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Animal
Entidade
e' uma
instancia
de
Planta
Entidade
e' uma
instancia
de
Humano
AutonomousAgent
2 e'
membro
de
Colecao
Processo
2 e' uma
instancia
de
Vender
Processo
2 e' um
agente
de
AutonomousAgent
2
Entidade
e' um
patient
de
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
Colecao
e' uma
instancia
de
Organizacao
AirTransportationIndustry
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Agente Cognitivo
LANE and
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
e' um
patient
de
Entidade
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Colecao
possui
Agente Cognitivo
LANE
Agente Cognitivo
LANE e' uma
instancia
de
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
Colecao
e' uma
instancia
de
Organizacao
CouriersAndMessengers
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
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
Colecao
e' uma
instancia
de
Organizacao
GeneralMerchandiseStores
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Objeto
AutonomousAgent
termina
em
Entidade
Entidade
e' um
patient
de
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
Colecao
e' uma
instancia
de
Organizacao
MiscellaneousStoreRetailers
e' um
atributo
de
Colecao
Processo
Fisico
,
Entidade
,
Objeto
and
AutonomousAgent
Fisico
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Vender
AutonomousAgent
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
RetailStore
eventLocated
Processo
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
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
Colecao
e' uma
instancia
de
Organizacao
NonstoreRetailers
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Objeto
eventLocated
AutonomousAgent
and
RetailStore
AutonomousAgent
termina
em
Entidade
Entidade
e' um
patient
de
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
Colecao
e' uma
instancia
de
Organizacao
PipelineTransportation
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
,
Entidade
and
Agente Cognitivo
IPE
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Substancia
Colecao
possui
Entidade
Agente Cognitivo
IPE e' um
instrumento
para
Entidade
Agente Cognitivo
IPE e' uma
instancia
de
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
Colecao
e' uma
instancia
de
Organizacao
PostalService
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
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
Colecao
e' uma
instancia
de
Organizacao
RailTransportation
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
e' um
patient
de
Entidade
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
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
Colecao
e' uma
instancia
de
Organizacao
ScenicAndSightseeingTransportation
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Entidade
e' uma
instancia
de
Recreacao ou Exercicio
Agente Cognitivo
e' um
patient
de
Entidade
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
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
Colecao
e' uma
instancia
de
Organizacao
TransitAndGroundPassengerTransportation
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
e' um
patient
de
Entidade
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
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
Colecao
e' uma
instancia
de
Organizacao
TruckTransportation
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
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
Colecao
e' uma
instancia
de
Organizacao
WarehousingAndStorage
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
Entidade
e' uma
instancia
de
Intervalo Temporal
Entidade
e' uma
instancia
de
Predio
Agente Cognitivo
possui
Entidade
Entidade
e'
situado
em
Entidade
vale
durante
Entidade
(=>
(
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
Colecao
e' uma
instancia
de
Organizacao
WaterTransportationIndustry
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Vender
Agente Cognitivo
e' uma
instancia
de
Humano
Agente Cognitivo
e' um
patient
de
AutonomousAgent
Processo
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Transporte
Agente Cognitivo
e' um
patient
de
Entidade
Agente Cognitivo
possui
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Colecao
possui
Entidade
Entidade
e' uma
instancia
de
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
e' uma
instancia
de
FoodPickup
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
Objeto
Processo
and
Processo
AutonomousAgent
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Translocation
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Processo
e' uma
instancia
de
Obter
Processo
tem como
origem
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
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
e' uma
instancia
de
SafetyHarness
Animal
e' uma
instancia
de
Animal
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
WearableItem
e' um
instrumento
para
Entidade
Animal
e' um
patient
de
Entidade
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
(=>
(
and
(
instance
?SHIRT
Shirt
)
(
wears
?PERSON ?SHIRT))
(
instance
?PERSON
Human
))
Mid-level-ontology.kif 5262-5266
WearableItem
e' uma
instancia
de
Shirt
Animal
usa
WearableItem
Animal
e' uma
instancia
de
Humano
(=>
(
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
e' uma
instancia
de
Som Irradiante
Processo
e' um
agente
de
AutonomousAgent
Audible
e' um
atributo
de
Processo
Objeto
Sequencia Simbolica
Objeto
e' uma
instancia
de
Humano
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
agent
(=>
(
and
(
instance
?T
Thanking
)
(
destination
?T ?P))
(
instance
?P
Human
))
Mid-level-ontology.kif 13160-13164
Processo
e' uma
instancia
de
Thanking
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
Humano
(=>
(
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
e' uma
instancia
de
Thanking
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
Humano
AutonomousAgent
quer
Entidade
vale
durante
tempo
de existencia de
Processo
AutonomousAgent
deseja
Entidade
vale
durante
tempo
de existencia de
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