Organization
(organisation)
(=>
(
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
Processus
est une
instance
de
adh�rer une organisation
entit�
est une
instance
de
organisation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est un
membre
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
est un
membre
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Firing
AutonomousAgent
est une
instance
de
organisation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est un
membre
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
membre
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
quitter une organization
entit�
est une
instance
de
organisation
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
AutonomousAgent
est un
membre
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
AutonomousAgent
est un
membre
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Quitting
entit�
est une
instance
de
organisation
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
agent cognitif
desire
agent cognitif
est un
membre
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?OP
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
Interval temporel
est une
instance
de
BeginningOperations
AutonomousAgent
est une
instance
de
organisation
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
commence
temps
d'existence de
AutonomousAgent
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
Interval temporel
est une
instance
de
CeasingOperations
AutonomousAgent
est une
instance
de
organisation
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
finit
temps
d'existence 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
est une
instance
de
organisation
IndustryAttribute
est un
attribut
de
AutonomousAgent
industryProductType
IndustryAttribute
and
objet
processus
entit�
processus
est une
instance
de
faire
entit�
est une
instance
de
objet
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryServiceType
?INDUSTRY ?TYPE))
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?TYPE)
(
agent
?EVENT ?ORG))))
Economy.kif 1649-1657
AutonomousAgent
est une
instance
de
organisation
IndustryAttribute
est un
attribut
de
AutonomousAgent
industryServiceType
IndustryAttribute
and
processus intentionnel
processus
processus
est une
instance
de
processus intentionnel
processus
est un
agent
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
Collection
est une
instance
de
organisation
AgricultureForestryFishingAndHunting
est un
attribut
de
collection
processus
AutonomousAgent
AutonomousAgent
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
processus
est une
instance
de
tuer
processus
est une
instance
de
maintenir
entit�
est un
patient
de
processus
entit�
est une
instance
de
animal
entit�
est une
instance
de
plante
entit�
est une
instance
de
humain
AutonomousAgent
2 est un
membre
de
collection
processus
2 est une
instance
de
vendre
processus
2 est un
agent
de
AutonomousAgent
2
entit�
est un
patient
de
processus
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
Collection
est une
instance
de
organisation
AirTransportationIndustry
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
AutonomousAgent
est une
instance
de
vendre
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
agent cognitif
LANE and
entit�
entit�
est une
instance
de
transporter
agent cognitif
est un
patient
de
entit�
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
entit�
est une
instance
de
objet
collection
poss
�de
agent cognitif
LANE
agent cognitif
LANE est une
instance
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
Collection
est une
instance
de
organisation
ApparelManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
entit�
est une
instance
de
v�tement
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
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
Collection
est une
instance
de
organisation
BeverageAndTobaccoProductManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
entit�
est une
instance
de
boisson
entit�
est une
instance
de
TobaccoProduct
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
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
Collection
est une
instance
de
organisation
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
objet
AutonomousAgent
est une
instance
de
vendre
objet
est une
instance
de
objet
objet
est
capable
de faire
construire
dans le r�le
resource
objet
est
capable
de faire
Agriculture
dans le r�le
resource
objet
est un
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
Collection
est une
instance
de
organisation
ChemicalManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
entit�
est une
instance
de
substance pure
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
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
Collection
est une
instance
de
organisation
ClothingAndClothingAccessoriesStores
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
v�tement
entit�
est un
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
Collection
est une
instance
de
organisation
ComputerAndElectronicProductManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
entit�
est une
instance
de
Computer
entit�
est une
instance
de
machine
AutonomousAgent
3
objet
entit�
est un
patient
de
AutonomousAgent
3
objet
est une
resource
pour
AutonomousAgent
3
objet
est une
instance
de
Electricity
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
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
Collection
est une
instance
de
organisation
Construction
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
construire
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
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
Collection
est une
instance
de
organisation
CouriersAndMessengers
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
agent cognitif
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
objet
agent cognitif
est une
instance
de
humain
agent cognitif
est un
patient
de
AutonomousAgent
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
transporter
agent cognitif
poss
�de
entit�
entit�
est un
patient
de
entit�
(=>
(
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
Collection
est une
instance
de
organisation
ElectricalEquipmentApplianceAndComponentManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
entit�
est une
instance
de
machine
AutonomousAgent
3
objet
entit�
est un
patient
de
AutonomousAgent
3
objet
est une
resource
pour
AutonomousAgent
3
objet
est une
instance
de
Electricity
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
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
Collection
est une
instance
de
organisation
ElectronicsAndApplianceStores
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
ElectricDevice
entit�
est un
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
Collection
est une
instance
de
organisation
FabricatedMetalProductManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
entit�
est une
instance
de
m�tal
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
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
Collection
est une
instance
de
organisation
FoodAndBeverageStores
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
FoodForFn
animal
entit�
est une
instance
de
boisson
entit�
est un
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
Collection
est une
instance
de
organisation
FoodManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
cuisiner
AutonomousAgent
est une
instance
de
manufacture
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
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
Collection
est une
instance
de
organisation
FurnitureAndHomeFurnishingsStores
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
Furniture
entit�
est un
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
Collection
est une
instance
de
organisation
FurnitureAndRelatedProductManufacturing
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
processus
2 and
AutonomousAgent
2
AutonomousAgent
est une
instance
de
manufacture
entit�
est une
instance
de
Furniture
entit�
est un
patient
de
AutonomousAgent
processus
2 est un
membre
de
collection
AutonomousAgent
2 est une
instance
de
vendre
AutonomousAgent
2 est un
agent
de
processus
2
entit�
est un
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