Manufacture
(manufacture)
(=>
(
equal
?GNP
(
GrossNationalProductFn
?GPA ?Y))
(
exists
(?PRODANDSERV)
(
and
(
instance
?PRODANDSERV
Collection
)
(
monetaryValue
?PRODANDSERV ?GNP)
(=>
(
and
(
instance
?M
Manufacture
)
(
result
?M ?PRODUCT)
(
agent
?M ?MAKER)
(
member
?MAKER
(
CitizenryFn
?GPA))
(
finishesDuring
(
WhenFn
?M) ?Y))
(
member
?PRODUCT ?PRODANDSERV))
(=>
(
and
(
instance
?SERVICE
Process
)
(
attribute
?SERVICE
ServiceInEconomics
)
(
agent
?SERVICE ?PROVIDER)
(
member
?PROVIDER
(
CitizenryFn
?GPA))
(
finishesDuring
(
WhenFn
?SERVICE) ?Y))
(
member
?SERVICE ?PRODANDSERV)))))
Economy.kif 1031-1052
equal
mesure de devise
and
GrossNationalProductFn
secteur g�opolitique
and
ann�e
collection
collection
est une
instance
de
collection
valeur
de
collection
est
mesure de devise
processus
est une
instance
de
manufacture
physique
est le
resultat
de
processus
processus
est un
agent
de
processus
AKER
processus
AKER est un
membre
de
CitizenryFn
secteur g�opolitique
finishesDuring
temps
d'existence de
processus
and
ann�e
physique
est un
membre
de
collection
objet
est une
instance
de
processus
ServiceInEconomics
est un
attribut
de
objet
objet
est un
agent
de
AutonomousAgent
AutonomousAgent
est un
membre
de
CitizenryFn
secteur g�opolitique
finishesDuring
temps
d'existence de
objet
and
ann�e
objet
est un
membre
de
collection
(=>
(
instance
?GAS
GoodsAndServices
)
(
and
(
instance
?GPA
GeopoliticalArea
)
(=>
(
and
(
instance
?M
Manufacture
)
(
result
?M ?PRODUCT)
(
agent
?M ?MAKER)
(
member
?MAKER
(
CitizenryFn
?GPA))
(
finishesDuring
(
WhenFn
?M) ?Y)
(
located
?M ?GPA))
(
member
?PRODUCT ?GAS))
(=>
(
and
(
instance
?SERVICE
Process
)
(
attribute
?SERVICE
ServiceInEconomics
)
(
agent
?SERVICE ?PROVIDER)
(
member
?PROVIDER
(
CitizenryFn
?GPA))
(
finishesDuring
(
WhenFn
?SERVICE) ?Y)
(
located
?SERVICE ?GPA))
(
member
?SERVICE ?GAS))))
Economy.kif 6905-6926
Collection
est une
instance
de
GoodsAndServices
secteur g�opolitique
est une
instance
de
secteur g�opolitique
processus
est une
instance
de
manufacture
physique
est le
resultat
de
processus
processus
est un
agent
de
processus
AKER
processus
AKER est un
membre
de
CitizenryFn
secteur g�opolitique
finishesDuring
temps
d'existence de
processus
and
interval temporel
processus
est
situ
� �
secteur g�opolitique
physique
est un
membre
de
collection
objet
est une
instance
de
processus
ServiceInEconomics
est un
attribut
de
objet
objet
est un
agent
de
AutonomousAgent
AutonomousAgent
est un
membre
de
CitizenryFn
secteur g�opolitique
finishesDuring
temps
d'existence de
objet
and
interval temporel
objet
est
situ
� �
secteur g�opolitique
objet
est un
membre
de
collection
(=>
(
instance
?IED
IED
)
(
not
(
exists
(?M)
(
and
(
instance
?M
Manufacture
)
(
result
?M ?IED)))))
Medicine.kif 6097-6103
Entit�
est une
instance
de
IED
processus
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
(=>
(
instance
?ORG
Manufacturer
)
(
hasPurpose
?ORG
(
exists
(?MANUFACTURE)
(
and
(
instance
?MANUFACTURE
Manufacture
)
(
instance
?MANUFACTURE
CommercialService
)
(
agent
?MANUFACTURE ?ORG)))))
Merge.kif 16376-16383
Physique
est une
instance
de
Manufacturer
physique
a pour
but
entit�
entit�
est une
instance
de
manufacture
entit�
est une
instance
de
CommercialService
entit�
est un
agent
de
physique
(=>
(
instance
?P
AnimalProduct
)
(
exists
(?M ?A ?B)
(
and
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?A)
(
or
(
instance
?A
Animal
)
(
and
(
part
?B ?A)
(
instance
?B
AnatomicalStructure
))))))
Economy.kif 5354-5365
Entit�
est une
instance
de
AnimalProduct
processus
objet
and
objet
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
objet
est un
patient
de
processus
objet
est une
instance
de
animal
objet
est une
partie
de
objet
objet
est une
instance
de
structure anatomique
(=>
(
instance
?P
PlantProduct
)
(
exists
(?M ?A ?B)
(
and
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?A)
(
or
(
instance
?A
Plant
)
(
and
(
part
?B ?A)
(
instance
?B
AnatomicalStructure
))))))
Economy.kif 5532-5543
Entit�
est une
instance
de
PlantProduct
processus
objet
and
objet
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
objet
est un
patient
de
processus
objet
est une
instance
de
plante
objet
est une
partie
de
objet
objet
est une
instance
de
structure anatomique
(=>
(
instance
?P
ProductAssembly
)
(
exists
(?M)
(
and
(
subProcess
?P ?M)
(
instance
?M
Manufacture
))))
Economy.kif 2133-2138
Processus
est une
instance
de
ProductAssembly
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
manufacture
(=>
(
instance
?PLANT
IndustrialPlant
)
(
hasPurpose
?PLANT
(
exists
(?MANUFACTURE)
(
and
(
instance
?MANUFACTURE
Manufacture
)
(
eventLocated
?MANUFACTURE ?PLANT)))))
Mid-level-ontology.kif 17071-17077
Physique
est une
instance
de
IndustrialPlant
physique
a pour
but
entit�
entit�
est une
instance
de
manufacture
eventLocated
entit�
and
physique
(=>
(
instance
?PRODUCT
Product
)
(
exists
(?MANUFACTURE)
(
and
(
instance
?MANUFACTURE
Manufacture
)
(
result
?MANUFACTURE ?PRODUCT))))
Merge.kif 15845-15850
Entit�
est une
instance
de
produit
processus
processus
est une
instance
de
manufacture
entit�
est le
resultat
de
processus
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