Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Entit�Concreta
è una
sottoclasse
di
Oggetto
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�
esperisce
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
freeRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Umano
è un
paziente
di
Processo
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
TemporaryResidence
price
Processo
, 0.0
UnitedStatesDollar
(s and
Umano
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?CLASS
agent
?AGENT ?TIME))
Catalog.kif 130-137
offersAtTime
AutonomousAgent
,
Catalog
and
IntervalloTemporale
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Processo
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
IntervalloTemporale
capabilityDuring
Entit�
,
agent
,
AutonomousAgent
and
IntervalloTemporale
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Processo
AutonomousAgent
è
capace
di fare
Entit�
nel ruolo
agent
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21066-21080
attribute
Oggetto
and
NewsReporter
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
il
tempo
di esistenza di
Oggetto
sovrappone
s il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
Newspaper
Entit�
è una
sottoclasse
di
NewsProgram
Oggetto
è l'
autore
di
Entit�
Entit�
include un
riferimento
a
Entit�
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Oggetto
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Entit�
è un'
istanza
di
Entit�
Entit�
è un
paziente
di
Processo
AutonomousAgent
è
capace
di fare
Processo
nel ruolo
agent
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
WearableItem
è un'
istanza
di
SafetyHarness
Animale
è un'
istanza
di
Animale
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
WearableItem
è uno
strumento
per
Entit�
Animale
è un
paziente
di
Entit�
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
(=>
(
and
(
subjectiveAttribute
?AGENT1
Quick
?PERSON)
(
subjectiveAttribute
?AGENT2
Slow
?PERSON)
(
instance
?PROCESS1 ?CLASS)
(
instance
?PROCESS2 ?CLASS)
(
subclass
?CLASS
Process
)
(
agent
?PROCESS1 ?AGENT1)
(
agent
?PROCESS2 ?AGENT2))
(
and
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?PROCESS1)
(
MeasureFn
?TIME1 ?U))
(
duration
(
WhenFn
?PROCESS2)
(
MeasureFn
?TIME2 ?U))
(
greaterThan
?TIME2 ?TIME1)))
Dining.kif 1044-1059
subjectiveAttribute
AutonomousAgent
,
Quick
and
AutonomousAgent
subjectiveAttribute
AutonomousAgent
,
Slow
and
AutonomousAgent
Processo
è un'
istanza
di
Classe
Processo
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfDuration
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
Unit�DiMisura
(s
durata
di il
tempo
di esistenza di
Processo
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Umano
è un
paziente
di
Processo
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
TemporaryResidence
Processo
RICE
Unit�DiMisura
price
Processo
,
Processo
RICE
Unit�DiMisura
(s and
Umano
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
RICE è
pi
ù grande di 0
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
and
Entit�
%è un
elemento
di
Possibility
Entit�
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3482-3509
Entit�Concreta
è un'
istanza
di
ProtectiveEyewear
Entit�Concreta
ha
scopo
Entit�Concreta
RSON
Entit�Concreta
RSON è un'
istanza
di
Umano
wears
Entit�Concreta
RSON and
Entit�Concreta
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
Processo
è un'
istanza
di
BreakingRecord
Processo
è un
agente
di
AutonomousAgent
Insieme
Classe
,
Processo
,
PuntoTemporale
,
RuoloSemantico
,
Oggetto
and
Entit�
Insieme
è un'
istanza
di
Insieme
%è un
elemento
di %2
Classe
è una
sottoclasse
di
Processo
Oggetto
è un'
istanza
di
Regione
PuntoTemporale
è un'
istanza
di
PuntoTemporale
Entit�
è un'
istanza
di
Quantit�
Processo
è un'
istanza
di
Classe
Processo
include un
riferimento
a
Entit�
Entit�
include un
riferimento
a
Processo
playsRoleInEvent
AutonomousAgent
,
RuoloSemantico
and
Processo
eventLocated
Processo
and
Oggetto
Entit�
Entit�
Entit�
è un'
istanza
di
Insieme
Entit�
is
uguale
a
AutonomousAgent
Entit�
è un'
istanza
di
Classe
playsRoleInEvent
Entit�
,
RuoloSemantico
and
Entit�
eventLocated
Entit�
and
Oggetto
vales
durante
intervallo
tra
PuntoTemporale
e la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Process
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA)
(
overlapsTemporally
(
WhenFn
?ITEM)
(
WhenFn
?AREA)))))
Geography.kif 2280-2290
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
AreaGeografica
il
tempo
di esistenza di
AreaGeografica
sovrappone
s il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�
è un'
istanza
di
Entit�Concreta
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Entit�
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
localizzato
in
TemporaryResidence
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
Umano
Processo
è
localizzato
in
TemporaryResidence
Oggetto
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
risorsa
per
Processo
Processo
RICE
Unit�DiMisura
price
Oggetto
,
Processo
RICE
Unit�DiMisura
(s and
Umano
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
RICE è
pi
ù grande di 0
(=>
(
and
(
instance
?PROCESS ?PROCESS_CLASS)
(
subclass
?PROCESS_CLASS
Process
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?PROCESS ?AGENT)
(
agent
?ACCESSING ?AGENT)
(
during
?PROCESS ?ACCESSING)
(
instance
?TIMETOFIRST
TimeInterval
)
(
not
(
exists
(?PROCESS2)
(
and
(
instance
?PROCESS2 ?PROCESS_CLASS)
(
agent
?PROCESS2 ?AGENT)
(
during
?PROCESS2 ?ACCESSING)
(
before
(
BeginFn
(
WhenFn
?PROCESS2))
(
BeginFn
(
WhenFn
?PROCESS))))))
(
equal
(
BeginFn
(
WhenFn
?ACCESSING))
(
BeginFn
(
WhenFn
?TIMETOFIRST)))
(
equal
(
BeginFn
(
WhenFn
?PROCESS))
(
EndFn
(
WhenFn
?TIMETOFIRST))))
(
equal
(
TTFxFn
?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))
UXExperimentalTerms.kif 1496-1518
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
_CLASS
IntervalloTemporale
_CLASS è una
sottoclasse
di
Processo
AccessingWebPage
è un'
istanza
di
AccessingWebPage
AutonomousAgent
è un'
istanza
di
AutonomousAgent
IntervalloTemporale
è un
agente
di
AutonomousAgent
AccessingWebPage
è un
agente
di
AutonomousAgent
IntervalloTemporale
has luogo
durante
AccessingWebPage
Entit�Concreta
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
2
IntervalloTemporale
2 è un'
istanza
di
IntervalloTemporale
_CLASS
IntervalloTemporale
2 è un
agente
di
AutonomousAgent
IntervalloTemporale
2 has luogo
durante
AccessingWebPage
l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
2 succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
l'
inizio
di il
tempo
di esistenza di
AccessingWebPage
is
uguale
a l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
l'
inizio
di il
tempo
di esistenza di
IntervalloTemporale
is
uguale
a la
fine
di il
tempo
di esistenza di
Entit�Concreta
TTFxFn
IntervalloTemporale
_CLASS and
AccessingWebPage
is
uguale
a
Entit�Concreta
(=>
(
instance
?TEAM
CrossFunctionalTeam
)
(
exists
(?SKILL ?MEMBER1 ?MEMBER2 ?INST)
(
and
(
subclass
?SKILL
Process
)
(
instance
?MEMBER1
Human
)
(
instance
?MEMBER2
Human
)
(
member
?MEMBER1 ?TEAM)
(
member
?MEMBER2 ?TEAM)
(
hasSkill
?SKILL ?MEMBER1)
(
not
(
hasSkill
?SKILL ?MEMBER2))
(
instance
?INST ?SKILL)
(
inScopeOfInterest
?TEAM ?INST))))
UXExperimentalTerms.kif 2630-2643
InsiemeConcreto
è un'
istanza
di
CrossFunctionalTeam
Processo
AutonomousAgent
,
AutonomousAgent
and
Entit�
Processo
è una
sottoclasse
di
Processo
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
è un
membro
di
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
AutonomousAgent
ha &n
la
capacità di fare
Processo
AutonomousAgent
ha &n
la
capacità di fare
Processo
Entit�
è un'
istanza
di
Processo
InsiemeConcreto
è
interessato
a
Entit�
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
roomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
HotelUnit
%è un
elemento
di
Possibility
Entit�
è un
agente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
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
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
localizzato
in
TemporaryResidence
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
Umano
Oggetto
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
risorsa
per
Processo
price
Oggetto
, 0
UnitedStatesDollar
(s and
Umano
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
Processo
è una
sottoclasse
di
Processo
Processo
è un'
istanza
di
Processo
eventLocated
Processo
and
Regione
RuoloSemantico
è un'
istanza
di
RuoloSemantico
Oggetto
è un'
istanza
di
Oggetto
Regione
è un'
istanza
di
AreaGeografica
RuoloSemantico
Processo
and
Oggetto
capableAtLocation
Processo
,
RuoloSemantico
,
Oggetto
and
Regione
(=>
(
and
(
instance
?ROLE
CaseRole
)
(?ROLE ?ARG1 ?ARG2)
(
instance
?ARG1 ?PROC)
(
subclass
?PROC
Process
))
(
capability
?PROC ?ROLE ?ARG2))
Merge.kif 3910-3916
RuoloSemantico
è un'
istanza
di
RuoloSemantico
RuoloSemantico
Entit�
and
Oggetto
Entit�
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
Organizzazione
is
uguale
a
DepartmentOfPreventingFn
Organizzazione
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
inibisce
Entit�Concreta
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
WearableItem
è un'
istanza
di
Respirator
Animale
è un'
istanza
di
Animale
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
WearableItem
è uno
strumento
per
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
offersAtTime
AutonomousAgent
,
Catalog
and
IntervalloTemporale
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
Oggetto
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Entit�
è un'
istanza
di
Entit�
Entit�
è un
paziente
di
Processo
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
IntervalloTemporale
capabilityDuring
Processo
,
agent
,
AutonomousAgent
and
IntervalloTemporale
(=>
(
and
(
playsRoleInEvent
?OBJ ?ROLE ?EVENT)
(
instance
?EVENT ?CLASS)
(
subclass
?CLASS
Process
)
(
time
?EVENT ?TIME)
(
eventLocated
?EVENT ?PLACE))
(
playsRoleInEventOfType
?OBJ ?ROLE ?CLASS ?TIME ?PLACE))
Mid-level-ontology.kif 23260-23267
playsRoleInEvent
Oggetto
,
RuoloSemantico
and
Processo
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Processo
Processo
esistes
durante
PosizioneTemporale
eventLocated
Processo
and
Oggetto
playsRoleInEventOfType
Oggetto
,
RuoloSemantico
,
Processo
,
PosizioneTemporale
and
Oggetto
(
subclass
Process
Physical
)
Merge.kif 1622-1622
Processo
è una
sottoclasse
di
Entit�Concreta
(
subclass
AddToCart
Process
)
UXExperimentalTerms.kif 1303-1303
AddToCart
è una
sottoclasse
di
Processo
(
subclass
Checkout
Process
)
UXExperimentalTerms.kif 1457-1457
Checkout
è una
sottoclasse
di
Processo
(
subclass
WatchItem
Process
)
UXExperimentalTerms.kif 1587-1587
WatchItem
è una
sottoclasse
di
Processo
(
subclass
LargeGroupProcess
Process
)
Mid-level-ontology.kif 7928-7928
LargeGroupProcess
è una
sottoclasse
di
Processo
(
subclass
CausingHappiness
Process
)
Mid-level-ontology.kif 23764-23764
CausingHappiness
è una
sottoclasse
di
Processo
(
subclass
CausingUnhappiness
Process
)
Mid-level-ontology.kif 23785-23785
CausingUnhappiness
è una
sottoclasse
di
Processo
(
subclass
BreakingRecord
Process
)
Mid-level-ontology.kif 30026-30026
BreakingRecord
è una
sottoclasse
di
Processo
(
subclass
ContentBearingProcess
Process
)
Merge.kif 1319-1319
ContentBearingProcess
è una
sottoclasse
di
Processo
(
subclass
DualObjectProcess
Process
)
Merge.kif 1633-1633
ProcessoRelazionale
è una
sottoclasse
di
Processo
(
subclass
SingleAgentProcess
Process
)
Merge.kif 1646-1646
SingleAgentProcess
è una
sottoclasse
di
Processo
(
subclass
NaturalProcess
Process
)
Merge.kif 10482-10482
NaturalProcess
è una
sottoclasse
di
Processo
(
subclass
IntentionalProcess
Process
)
Merge.kif 10486-10486
ProcessoIntenzionale
è una
sottoclasse
di
Processo
(
subclass
Motion
Process
)
Merge.kif 11013-11013
Movimento
è una
sottoclasse
di
Processo
(
subclass
InternalChange
Process
)
Merge.kif 12592-12592
CambiamentoInterno
è una
sottoclasse
di
Processo
(
subclass
AgentPatientProcess
Process
)
Media.kif 164-164
AgentPatientProcess
è una
sottoclasse
di
Processo
(
subclass
PowerGeneration
Process
)
Economy.kif 2063-2063
PowerGeneration
è una
sottoclasse
di
Processo
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