member
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
Processo
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
Mantenere
eventLocated
Processo
and
Oggetto
Processo
è un
sottoprocesso
di
Processo
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
Processo
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
Trasporto
Processo
fine
s in
Oggetto
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
A
Processo
A è un
paziente
di
Processo
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT))
(
during
(
WhenFn
?PURCHASE) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
during
(
WhenFn
?ACCESSING) ?INTERVAL)
(
agent
?ACCESSING ?USER)))))
(
PPIFn
?EXPERIMENT ?INTERVAL)))
UXExperimentalTerms.kif 3095-3114
Experimenting
è un'
istanza
di
Experimenting
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
il numero di
istanzia
in la
classe
descritta da
Stringa
+ il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
PPIFn
Experimenting
and
IntervalloTemporale
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?INTERVAL
TimeInterval
))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE
(
QualifyingPurchasesFn
?EXPERIMENT)))))
(
CardinalityFn
(
KappaFn
?USER
(
and
(
member
?USER
(
TreatedUsersFn
?EXPERIMENT))
(
instance
?ACCESSING
AccessingWebPage
)
(
agent
?ACCESSING ?USER)))))
(
PPSFn
?EXPERIMENT)))
UXExperimentalTerms.kif 3056-3073
Experimenting
è un'
istanza
di
Experimenting
Entit�
è un'
istanza
di
IntervalloTemporale
il numero di
istanzia
in la
classe
descritta da
Stringa
+ il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a
PPSFn
Experimenting
(=>
(
and
(
instance
?G
Grinding
)
(
patient
?G ?O)
(
instance
?O
CorpuscularObject
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
exists
(?C)
(
and
(
result
?G ?C)
(
instance
?C
Collection
)
(
forall
(?M)
(=>
(
member
?M ?C)
(
part
?M ?O)))))))
Food.kif 1012-1026
Processo
è un'
istanza
di
Grinding
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
OggettoCorpuscolare
Entit�
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
InsiemeConcreto
Entit�
Entit�
è un
membro
di
Entit�
Entit�
è una
parte
di
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17351-17367
Processo
è un'
istanza
di
Immigrating
Processo
è un
agente
di
AutonomousAgent
AreaGeopolitica
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
AreaGeopolitica
è un'
istanza
di
Nazione
Processo
si
originas in
AreaGeopolitica
Processo
fine
s in
AreaGeopolitica
AreaGeopolitica
is
uguale
a
AreaGeopolitica
AutonomousAgent
è un
membro
di
CitizenryFn
AreaGeopolitica
AutonomousAgent
è un
membro
di
CitizenryFn
AreaGeopolitica
Processo
ha
scopo
AutonomousAgent
abita
s in
AreaGeopolitica
(=>
(
and
(
instance
?IC
IhramClothing
)
(
wears
?IC ?M)
(
attribute
?M
Male
))
(
exists
(?C ?B ?S)
(
and
(
instance
?C
Cloak
)
(
instance
?B
Belt
)
(
instance
?S
Sandal
)
(
member
?C ?IC)
(
member
?B ?IC)
(
member
?S ?IC))))
ArabicCulture.kif 151-163
Animale
è un'
istanza
di
IhramClothing
wears
Animale
and
WearableItem
attribute
WearableItem
and
Male
Entit�Concreta
Entit�Concreta
and
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Cloak
Entit�Concreta
è un'
istanza
di
Belt
Entit�Concreta
è un'
istanza
di
Sandal
Entit�Concreta
è un
membro
di
Animale
Entit�Concreta
è un
membro
di
Animale
Entit�Concreta
è un
membro
di
Animale
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
WebSite
è un'
istanza
di
WebSite
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
AutonomousAgent
AutonomousAgent
è un
membro
di
InsiemeConcreto
IntervalloTemporale
AutonomousAgent
è un'
istanza
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Acquistare
IntervalloTemporale
è un
agente
di
AutonomousAgent
WebSite
è uno
strumento
per
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
_BEFORE accades
prima
di
IntervalloTemporale
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
Acquistare
IntervalloTemporale
_BEFORE è un
agente
di
AutonomousAgent
WebSite
è uno
strumento
per
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE has luogo
durante
IntervalloTemporale
vales
durante
IntervalloTemporale
_BEFORE
SiteWideNewBuyersFn
IntervalloTemporale
and
WebSite
is
uguale
a
InsiemeConcreto
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3428-3455
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
WebSite
è un'
istanza
di
WebSite
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Umano
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
_BEFORE accades
prima
di
IntervalloTemporale
registeredUser
Entit�Concreta
and
WebSite
vales
durante
IntervalloTemporale
_BEFORE
IntervalloTemporale
_DURING
IntervalloTemporale
_DURING è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
_DURING has luogo
durante
IntervalloTemporale
registeredUser
Entit�Concreta
and
WebSite
vales
durante
IntervalloTemporale
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
is
uguale
a
SiteWideNewRegistrationsFn
IntervalloTemporale
and
WebSite
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
WebSite
è un'
istanza
di
WebSite
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
AutonomousAgent
AutonomousAgent
è un
membro
di
InsiemeConcreto
IntervalloTemporale
AutonomousAgent
è un'
istanza
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Vendere
IntervalloTemporale
è un
agente
di
AutonomousAgent
WebSite
è uno
strumento
per
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
_BEFORE accades
prima
di
IntervalloTemporale
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
Vendere
IntervalloTemporale
_BEFORE è un
agente
di
AutonomousAgent
WebSite
è uno
strumento
per
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE has luogo
durante
IntervalloTemporale
vales
durante
IntervalloTemporale
_BEFORE
SiteWideNewSellersFn
IntervalloTemporale
and
WebSite
is
uguale
a
InsiemeConcreto
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10632-10640
Processo
è un'
istanza
di
Assunzione
AutonomousAgent
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un
membro
di
AutonomousAgent
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è un
membro
di
AutonomousAgent
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?JOIN
JoiningAnOrganization
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?JOIN ?AGENT)
(
patient
?JOIN ?ORG)
(
instance
?JOIN
Organization
))
(
member
?AGENT ?ORG))
Government.kif 2501-2508
Processo
è un'
istanza
di
AdesioneAdUn'Organizzazione
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
InsiemeConcreto
è un
paziente
di
Processo
Processo
è un'
istanza
di
Organizzazione
AutonomousAgent
è un
membro
di
InsiemeConcreto
(=>
(
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 10600-10608
Processo
è un'
istanza
di
AdesioneAdUn'Organizzazione
Entit�
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un
membro
di
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
è un
membro
di
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?L
LawEnforcement
)
(
agent
?L ?P))
(
or
(
instance
?P
PoliceOrganization
)
(
exists
(?O)
(
and
(
instance
?O
PoliceOrganization
)
(
member
?P ?O)))))
Mid-level-ontology.kif 13908-13917
Processo
è un'
istanza
di
LawEnforcement
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
PoliceOrganization
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
PoliceOrganization
AutonomousAgent
è un
membro
di
InsiemeConcreto
(=>
(
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 10705-10713
Processo
è un'
istanza
di
Firing
AutonomousAgent
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un
membro
di
AutonomousAgent
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è un
membro
di
AutonomousAgent
vales
durante
la
fine
di il
tempo
di esistenza di
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 10673-10681
Processo
è un'
istanza
di
AbbandonoDiUn'Organizzazione
Entit�
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un
membro
di
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
è un
membro
di
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
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 10687-10697
Processo
è un'
istanza
di
Quitting
Entit�
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
AgenteCognitivo
desidera
s
AgenteCognitivo
è un
membro
di
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
ApparelManufacturing
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Lavorazione
Entit�
è un'
istanza
di
Vestito
Entit�
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
Entit�
è un
paziente
di
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
BeverageAndTobaccoProductManufacturing
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Lavorazione
Entit�
è un'
istanza
di
Bevanda
Entit�
è un'
istanza
di
TobaccoProduct
Entit�
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
Entit�
è un
paziente
di
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Oggetto
AutonomousAgent
è un'
istanza
di
Vendere
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
capace
di fare
Costruzione
nel ruolo
resource
Oggetto
è
capace
di fare
Agriculture
nel ruolo
resource
Oggetto
è un
paziente
di
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
ChemicalManufacturing
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Lavorazione
Entit�
è un'
istanza
di
SostanzaPura
Entit�
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
Entit�
è un
paziente
di
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
ClothingAndClothingAccessoriesStores
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Vestito
Entit�
è un
paziente
di
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
ComputerAndElectronicProductManufacturing
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Lavorazione
Entit�
è un'
istanza
di
Computer
Entit�
è un'
istanza
di
Macchinario
AutonomousAgent
3
Oggetto
Entit�
è un
paziente
di
AutonomousAgent
3
Oggetto
è una
risorsa
per
AutonomousAgent
3
Oggetto
è un'
istanza
di
Electricity
Entit�
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
Entit�
è un
paziente
di
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