Organization
(Organizacao)
(=>
(
and
(
instance
?JOIN
JoiningAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?PERSON)
(
patient
?JOIN ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10578-10586
Processo
e' uma
instancia
de
Juntar-se a uma Organizacao
Entidade
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e'
membro
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
e'
membro
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?LEAVE
Firing
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?ORG)
(
patient
?LEAVE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?P ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?P ?ORG)))))
Merge.kif 10683-10691
Processo
e' uma
instancia
de
Firing
AutonomousAgent
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e'
membro
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
membro
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?LEAVE
LeavingAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?PERSON ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10651-10659
Processo
e' uma
instancia
de
Deixar uma Organizacao
Entidade
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
AutonomousAgent
e'
membro
de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
e'
membro
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?LEAVE
Quitting
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
desires
?PERSON
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10665-10675
Processo
e' uma
instancia
de
Quitting
Entidade
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Agente Cognitivo
deseja
Agente Cognitivo
e'
membro
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?OP
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
Intervalo Temporal
e' uma
instancia
de
BeginningOperations
AutonomousAgent
e' uma
instancia
de
Organizacao
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
comeca
em
tempo
de existencia de
AutonomousAgent
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
Intervalo Temporal
e' uma
instancia
de
CeasingOperations
AutonomousAgent
e' uma
instancia
de
Organizacao
Intervalo Temporal
e' um
agente
de
AutonomousAgent
Intervalo Temporal
termina
em
tempo
de existencia de
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryProductType
?INDUSTRY ?TYPE))
(
exists
(?EVENT ?ITEM)
(
and
(
instance
?EVENT
Making
)
(
instance
?ITEM ?TYPE)
(
agent
?EVENT ?ORG)
(
result
?EVENT ?ITEM))))
Economy.kif 1607-1617
AutonomousAgent
e' uma
instancia
de
Organizacao
IndustryAttribute
e' um
atributo
de
AutonomousAgent
industryProductType
IndustryAttribute
and
Objeto
Processo
Entidade
Processo
e' uma
instancia
de
Fazer
Entidade
e' uma
instancia
de
Objeto
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryServiceType
?INDUSTRY ?TYPE))
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?TYPE)
(
agent
?EVENT ?ORG))))
Economy.kif 1649-1657
AutonomousAgent
e' uma
instancia
de
Organizacao
IndustryAttribute
e' um
atributo
de
AutonomousAgent
industryServiceType
IndustryAttribute
and
Processo Intencional
Processo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
AutonomousAgent
(=>
(
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
ApparelManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Clothing
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2194-2210
Colecao
e' uma
instancia
de
Organizacao
ApparelManufacturing
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Manufatura
Entidade
e' uma
instancia
de
Roupa
Entidade
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Entidade
e' um
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
BeverageAndTobaccoProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Beverage
)
(
instance
?THING
TobaccoProduct
))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1837-1855
Colecao
e' uma
instancia
de
Organizacao
BeverageAndTobaccoProductManufacturing
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Manufatura
Entidade
e' uma
instancia
de
Bebida
Entidade
e' uma
instancia
de
TobaccoProduct
Entidade
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Entidade
e' um
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Constructing
resource
?THING)
(
capability
Agriculture
resource
?THING))
(
patient
?EV ?THING))))))
naics.kif 7242-7257
Colecao
e' uma
instancia
de
Organizacao
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Objeto
AutonomousAgent
e' uma
instancia
de
Vender
Objeto
e' uma
instancia
de
Objeto
Objeto
e'
capaz
de fazer
Construcao
no role
resource
Objeto
e'
capaz
de fazer
Agriculture
no role
resource
Objeto
e' um
patient
de
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ChemicalManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
PureSubstance
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 3125-3141
Colecao
e' uma
instancia
de
Organizacao
ChemicalManufacturing
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Manufatura
Entidade
e' uma
instancia
de
Substancia Pura
Entidade
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Entidade
e' um
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ClothingAndClothingAccessoriesStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Clothing
)
(
patient
?EV ?THING))))))
naics.kif 7509-7521
Colecao
e' uma
instancia
de
Organizacao
ClothingAndClothingAccessoriesStores
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Roupa
Entidade
e' um
patient
de
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ComputerAndElectronicProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Computer
)
(
and
(
instance
?THING
Machine
)
(
exists
(?EV3 ?ELEC)
(
and
(
patient
?EV3 ?THING)
(
resource
?EV3 ?ELEC)
(
instance
?ELEC
Electricity
)))))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5126-5150
Colecao
e' uma
instancia
de
Organizacao
ComputerAndElectronicProductManufacturing
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Manufatura
Entidade
e' uma
instancia
de
Computer
Entidade
e' uma
instancia
de
Maquina
AutonomousAgent
3
Objeto
Entidade
e' um
patient
de
AutonomousAgent
3
Objeto
e' um
recurso
para
AutonomousAgent
3
Objeto
e' uma
instancia
de
Electricity
Entidade
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Entidade
e' um
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Construction
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Constructing
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1080-1095
Colecao
e' uma
instancia
de
Organizacao
Construction
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Construcao
Entidade
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Entidade
e' um
patient
de
AutonomousAgent
2
(=>
(
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
ElectricalEquipmentApplianceAndComponentManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
and
(
instance
?THING
Machine
)
(
exists
(?EV3 ?ELEC)
(
and
(
patient
?EV3 ?THING)
(
resource
?EV3 ?ELEC)
(
instance
?ELEC
Electricity
))))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5421-5443
Colecao
e' uma
instancia
de
Organizacao
ElectricalEquipmentApplianceAndComponentManufacturing
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Manufatura
Entidade
e' uma
instancia
de
Maquina
AutonomousAgent
3
Objeto
Entidade
e' um
patient
de
AutonomousAgent
3
Objeto
e' um
recurso
para
AutonomousAgent
3
Objeto
e' uma
instancia
de
Electricity
Entidade
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Entidade
e' um
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ElectronicsAndApplianceStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
ElectricDevice
)
(
patient
?EV ?THING))))))
naics.kif 7186-7198
Colecao
e' uma
instancia
de
Organizacao
ElectronicsAndApplianceStores
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
ElectricDevice
Entidade
e' um
patient
de
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FabricatedMetalProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Metal
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 4225-4241
Colecao
e' uma
instancia
de
Organizacao
FabricatedMetalProductManufacturing
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Manufatura
Entidade
e' uma
instancia
de
Metal
Entidade
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Entidade
e' um
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FoodAndBeverageStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
or
(
instance
?THING
(
FoodForFn
Animal
))
(
instance
?THING
Beverage
))
(
patient
?EV ?THING))))))
naics.kif 7319-7333
Colecao
e' uma
instancia
de
Organizacao
FoodAndBeverageStores
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
FoodForFn
Animal
Entidade
e' uma
instancia
de
Bebida
Entidade
e' um
patient
de
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FoodManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Cooking
)
(
instance
?EV
Manufacture
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1361-1377
Colecao
e' uma
instancia
de
Organizacao
FoodManufacturing
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Cozinhar
AutonomousAgent
e' uma
instancia
de
Manufatura
Entidade
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Entidade
e' um
patient
de
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FurnitureAndHomeFurnishingsStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Furniture
)
(
patient
?EV ?THING))))))
naics.kif 7125-7137
Colecao
e' uma
instancia
de
Organizacao
FurnitureAndHomeFurnishingsStores
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Furniture
Entidade
e' um
patient
de
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FurnitureAndRelatedProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Furniture
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5994-6010
Colecao
e' uma
instancia
de
Organizacao
FurnitureAndRelatedProductManufacturing
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Processo
2 and
AutonomousAgent
2
AutonomousAgent
e' uma
instancia
de
Manufatura
Entidade
e' uma
instancia
de
Furniture
Entidade
e' um
patient
de
AutonomousAgent
Processo
2 e'
membro
de
Colecao
AutonomousAgent
2 e' uma
instancia
de
Vender
AutonomousAgent
2 e' um
agente
de
Processo
2
Entidade
e' um
patient
de
AutonomousAgent
2
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