instrument
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
OggettoCorpuscolare
è un'
istanza
di
Exhaust
Fuel
è
fatto
di
OggettoCorpuscolare
Trasferimento
è un'
istanza
di
Trasferimento
OggettoCorpuscolare
NG è un'
istanza
di
Engine
Trasferimento
si
originas in
OggettoCorpuscolare
NG
Entit�Concreta
è un'
istanza
di
CatalyticConverter
Trasferimento
fine
s in
Entit�Concreta
objectTransferred
Trasferimento
and
OggettoCorpuscolare
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Combustione
Entit�Concreta
è uno
strumento
per
Entit�
OggettoCorpuscolare
è un
paziente
di
Entit�
eventLocated
Entit�
and
Entit�Concreta
(=>
(
and
(
instance
?E
Extension
)
(
moves
?E ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?E ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?E))))
Mid-level-ontology.kif 10647-10657
Movimento
è un'
istanza
di
Extension
moves
Movimento
and
Oggetto
Oggetto
Oggetto
C
Oggetto
è un'
istanza
di
Muscolo
Oggetto
C è un'
istanza
di
MuscularContraction
Oggetto
è uno
strumento
per
Movimento
Oggetto
è
connesso
a
Oggetto
Oggetto
C è un
sottoprocesso
di
Movimento
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2142-2154
Oggetto
è un'
istanza
di
EngineCoolingSystem
Oggetto
è un'
istanza
di
Engine
Oggetto
è un'
istanza
di
Automobile
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Raffreddamento
Oggetto
è uno
strumento
per
Entit�
Oggetto
è un
paziente
di
Entit�
(=>
(
and
(
instance
?EM
Electromagnet
)
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))
Cars.kif 3893-3903
Oggetto
è un'
istanza
di
Electromagnet
Trasferimento
è un'
istanza
di
Trasferimento
Oggetto
è un'
istanza
di
Electricity
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Processo
Processo
è un'
istanza
di
Magnetism
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
Entit�
è un'
istanza
di
Electromagnet
Entit�
Entit�
Entit�
è un'
istanza
di
Trasferimento
Entit�
è un'
istanza
di
Electricity
objectTransferred
Entit�
and
Entit�
Entit�
è
cammino
mentre
Entit�
si verifica non vale
durante
Entit�
1
Entit�
Entit�
è un'
istanza
di
Magnetism
Entit�
è uno
strumento
per
Entit�
non vale
durante
Entit�
1
(=>
(
and
(
instance
?EXPRESS
FacialExpression
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?FACE)
(
and
(
part
?FACE ?AGENT)
(
instance
?FACE
Face
)
(
instrument
?EXPRESS ?FACE))))
Mid-level-ontology.kif 13008-13016
Processo
è un'
istanza
di
FacialExpression
Processo
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è un'
istanza
di
Face
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
instance
?F
Flexion
)
(
moves
?F ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?F ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?F))))
Mid-level-ontology.kif 10607-10617
Movimento
è un'
istanza
di
Flexion
moves
Movimento
and
Oggetto
Oggetto
Oggetto
C
Oggetto
è un'
istanza
di
Muscolo
Oggetto
C è un'
istanza
di
MuscularContraction
Oggetto
è uno
strumento
per
Movimento
Oggetto
è
connesso
a
Oggetto
Oggetto
C è un
sottoprocesso
di
Movimento
(=>
(
and
(
instance
?F
Folding
)
(
patient
?F ?O))
(
exists
(?C ?P1 ?P2)
(
and
(
instance
?C
Covering
)
(
subProcess
?C ?F)
(
part
?P1 ?O)
(
part
?P2 ?O)
(
instrument
?C ?P1)
(
patient
?C ?P2))))
Mid-level-ontology.kif 3169-3180
Processo
è un'
istanza
di
Folding
Oggetto
è un
paziente
di
Processo
Processo
Oggetto
and
Oggetto
Processo
è un'
istanza
di
Coprire
Processo
è un
sottoprocesso
di
Processo
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
Dispositivo
è un'
istanza
di
Gun
Unit�DiMisura
è un'
istanza
di
UnitOfLength
effectiveRange
Dispositivo
and
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Dispositivo
e
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Organismo
Oggetto
2
Oggetto
2 è
tra
Oggetto
e
Dispositivo
NumeroReale
1 è
minore
o uguale a
NumeroReale
Stringa
Dispositivo
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
Dispositivo
è un'
istanza
di
Gun
Unit�DiMisura
è un'
istanza
di
UnitOfLength
effectiveRange
Dispositivo
and
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Dispositivo
e
Oggetto
è
NumeroReale
1
Unit�DiMisura
(s
Oggetto
2
Oggetto
2 è
tra
Oggetto
e
Dispositivo
NumeroReale
1 è
minore
o uguale a
NumeroReale
Stringa
Dispositivo
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
TelecomNumber
è un'
istanza
di
Hotline
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organizzazione
TelecomNumber
ha
scopo
Entit�
Entit�
è un'
istanza
di
Telephoning
Entit�
fine
s in
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
Comunicazione
TelecomNumber
è uno
strumento
per
Entit�
l'
inizio
di il
tempo
di esistenza di
Entit�
is
uguale
a l'
inizio
di immediatamente
dopo
il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
è un'
istanza
di
HearingProtection
Animale
è un'
istanza
di
Umano
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
WearableItem
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
Trasferimento
è un'
istanza
di
Intubation
Oggetto
è un'
istanza
di
Tube
objectTransferred
Trasferimento
and
Oggetto
AutonomousAgent
esperisce
s
Trasferimento
Trasferimento
ha
scopo
Entit�
Entit�
è un'
istanza
di
Respirazione
Oggetto
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ)
(
part
?FABRIC ?OBJ)
(
instance
?FABRIC
Fabric
))
(
exists
(?IRON ?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
instance
?IRON
FabricIron
)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 25264-25275
Processo
è un'
istanza
di
Ironing
Oggetto
è un
paziente
di
Processo
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Stoffa
Processo
RON
Processo
Processo
è un'
istanza
di
Riscaldamento
Processo
RON è un
paziente
di
Processo
Processo
RON è un'
istanza
di
FabricIron
Processo
RON è uno
strumento
per
Processo
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ))
(
exists
(?HEAT ?IRON ?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
patient
?I ?PART)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 25252-25262
Processo
è un'
istanza
di
Ironing
Oggetto
è un
paziente
di
Processo
Processo
Processo
RON and
Oggetto
Oggetto
è una
parte
superficiale di
Oggetto
Processo
è un'
istanza
di
Riscaldamento
Processo
RON è un
paziente
di
Processo
Oggetto
è un
paziente
di
Processo
Processo
RON è uno
strumento
per
Processo
(=>
(
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
(?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
?KICK
Kicking
)
(
agent
?KICK ?ANIMAL))
(
exists
(?FOOT)
(
and
(
instance
?FOOT
Foot
)
(
part
?FOOT ?ANIMAL)
(
instrument
?KICK ?FOOT))))
Mid-level-ontology.kif 6637-6645
Processo
è un'
istanza
di
Kicking
Processo
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
è un'
istanza
di
Foot
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
Entit�Concreta
è un'
istanza
di
KnockLight
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Stanza
Oggetto
è un'
istanza
di
Door
Oggetto
è una
parte
di
Oggetto
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Impatto
Oggetto
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
è un
agente
di
Oggetto
Entit�
causa
s
Entit�
Entit�
è un'
istanza
di
RadiatingVisibleLight
Entit�Concreta
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
Processo
è un'
istanza
di
LoggingIn
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
IntervalloTemporale
is
uguale
a immediatamente
dopo
il
tempo
di esistenza di
Processo
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
ComputerProcess
Entit�
è un
agente
di
AutonomousAgent
Computer
è uno
strumento
per
Entit�
vales
durante
IntervalloTemporale
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?M
Microwave
)
(
attribute
?M
DeviceOn
))
(
exists
(?PROC)
(
and
(
instance
?PROC
RadiatingElectromagnetic
)
(
instrument
?PROC ?M))))
Food.kif 365-372
Oggetto
è un'
istanza
di
Microwave
attribute
Oggetto
and
DeviceOn
Processo
Processo
è un'
istanza
di
RadiatingElectromagnetic
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
instance
?MODEM
CableModem
)
(
instance
?COMM
Communication
)
(
instrument
?COMM ?MODEM))
(
exists
(?CABLE)
(
and
(
instance
?CABLE
Cable
)
(
instrument
?COMM ?CABLE)
(
connectedEngineeringComponents
?CABLE ?MODEM))))
ComputerInput.kif 577-586
Meccanismo
è un'
istanza
di
CableModem
Processo
è un'
istanza
di
Comunicazione
Meccanismo
è uno
strumento
per
Processo
Meccanismo
Meccanismo
è un'
istanza
di
Cable
Meccanismo
è uno
strumento
per
Processo
Meccanismo
è
connesso
a
Meccanismo
(=>
(
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
PipelineTransportation
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�
Entit�
,
Entit�
and
AgenteCognitivo
IPE
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Sostanza
InsiemeConcreto
possiede
es
Entit�
AgenteCognitivo
IPE è uno
strumento
per
Entit�
AgenteCognitivo
IPE è un'
istanza
di
Pipeline
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
SportingGoodsHobbyBookAndMusicStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Sport
instrument
?THING)
(
capability
MakingMusic
instrument
?THING)
(
instance
?THING
Book
)
(
instance
?THING
MusicRecording
)
(
instance
?THING
MusicText
))
(
patient
?EV ?THING))))))
naics.kif 7600-7618
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
SportingGoodsHobbyBookAndMusicStores
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
Sport
nel ruolo
instrument
Oggetto
è
capace
di fare
MakingMusic
nel ruolo
instrument
Oggetto
è un'
istanza
di
Libro
Oggetto
è un'
istanza
di
MusicRecording
Oggetto
è un'
istanza
di
MusicText
Oggetto
è un
paziente
di
AutonomousAgent
(=>
(
and
(
instance
?P
Decoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2181-2191
Processo
è un'
istanza
di
Decodificare
Processo
è un
agente
di
AgenteCognitivo
Formula
AgenteCognitivo
conosce
s
Formula
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
contiene
s informazione
Formula
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