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
(
instance
?MENU
SetMenu
)
(
offers
?AGENT ?MENU)
(
catalogItem
?CLASS ?MENU)
(
subclass
?CLASS
PreparedFood
)
(
instance
?X ?VLASS)
(
instance
?Y ?CLASS)
(
not
(
equal
?X ?Y))
(
price
?X ?PRICE1 ?AGENT1)
(
price
?Y ?PRICE2 ?AGENT2))
(
equal
?PRICE1 ?PRICE2))
Dining.kif 189-201
Catalog
è un'
istanza
di
SetMenu
offers
AutonomousAgent
and
Catalog
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
PreparedFood
Entit�Concreta
è un'
istanza
di
Classe
Entit�Concreta
è un'
istanza
di
Entit�
Entit�Concreta
is
uguale
a
Entit�Concreta
price
Entit�Concreta
,
MisuraMonetaria
and
AutonomousAgent
price
Entit�Concreta
,
MisuraMonetaria
and
AutonomousAgent
MisuraMonetaria
is
uguale
a
MisuraMonetaria
(=>
(
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
(
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
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
Entit�Concreta
è un'
istanza
di
Protecting
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
ARM
Entit�
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
Entit�Concreta
Entit�
ARM è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�Concreta
impedisce
l'occorrenza di
Entit�
ARM
hinders
Entit�Concreta
and
Entit�
ARM
(=>
(
habitatOfOrganism
?O ?L)
(
not
(
subclass
?O
DomesticAnimal
)))
Mid-level-ontology.kif 30397-30400
habitatOfOrganism
Organismo
and
AreaGeografica
Organismo
è una
sottoclasse
di
DomesticAnimal
(=>
(
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�
(=>
(
attribute
?H
ObsessiveCompulsiveDisorder
)
(
exists
(?COL ?C)
(
and
(
memberType
?COL ?C)
(
or
(
subclass
?C
Investigating
)
(
subclass
?C
Cleaning
))
(=>
(
instance
?CI ?C)
(
and
(
agent
?CI ?H)
(
not
(
wants
?H ?CI)))))))
Medicine.kif 4025-4038
attribute
AgenteCognitivo
and
ObsessiveCompulsiveDisorder
InsiemeConcreto
Classe
memberType
InsiemeConcreto
and
Classe
Classe
è una
sottoclasse
di
Investigare
Classe
è una
sottoclasse
di
Cleaning
Classe
I è un'
istanza
di
Classe
Classe
I è un
agente
di
AgenteCognitivo
AgenteCognitivo
non
vuole
Classe
I
(=>
(
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
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
AutonomousAgent
is
uguale
a
AutonomousAgent
Processo
è un'
istanza
di
Classe
Processo
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
ProcessoPsicologicoIntenzionale
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
durata
di il
tempo
di esistenza di
Processo
è
Durata
durata
di il
tempo
di esistenza di
Processo
è
Durata
l'affermazione
Durata
è
pi
ù grande di
Durata
ha il modello di forza di
Likely
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
Classe
è una
sottoclasse
di
Tessuto
Classe
è una
sottoclasse
di
Tessuto
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Umano
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Classe
is
uguale
a
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
Oggetto
è
Adjacent
a
Oggetto
l'affermazione
Entit�
Entit�
è un'
istanza
di
ConnectiveTissue
Entit�
è
tra
Oggetto
e
Oggetto
ha il modello di forza di
Likely
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
OggettoCorpuscolare
è un'
istanza
di
OggettoCorpuscolare
Sostanza
Sostanza
Sostanza
è una
sottoclasse
di
Sostanza
Sostanza
è una
sottoclasse
di
Sostanza
Sostanza
è
fatto
di
OggettoCorpuscolare
Sostanza
è
fatto
di
OggettoCorpuscolare
Sostanza
is
uguale
a
Sostanza
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
subclass
?CLAIM
MaritimeClaimArea
))
(
not
(
maritimeClaimType
?AREA ?CLAIM)))
Geography.kif 983-987
AreaGeopolitica
è un'
istanza
di
LandlockedArea
MaritimeClaimArea
è una
sottoclasse
di
MaritimeClaimArea
maritimeClaimType
AreaGeopolitica
and
MaritimeClaimArea
(=>
(
and
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
Oggetto
è un'
istanza
di
Composto
Composto
è una
sottoclasse
di
Composto
Oggetto
Oggetto
è un'
istanza
di
Composto
Oggetto
è una
parte
di
Oggetto
molecularRatio
SostanzaElementare
,
NumeroIntero
and
Composto
InsiemeConcreto
è un'
istanza
di
Gruppo
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
SostanzaElementare
memberCount
InsiemeConcreto
and
NumeroIntero
(=>
(
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�
(=>
(
immediateSubclass
?CLASS1 ?CLASS2)
(
not
(
exists
(?CLASS3)
(
and
(
subclass
?CLASS3 ?CLASS2)
(
subclass
?CLASS1 ?CLASS3)
(
not
(
equal
?CLASS2 ?CLASS3))
(
not
(
equal
?CLASS1 ?CLASS3))))))
Merge.kif 160-167
Classe
è una
sottoclasse
immediata di
Classe
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
Classe
is
uguale
a
Classe
Classe
is
uguale
a
Classe
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
vegetationType
AreaGeografica
and
Pianta
Pianta
è una
sottoclasse
di
Pianta
AreaGeografica
è un'
istanza
di
AreaGeografica
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pianta
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
immediateInstance
?ENTITY ?CLASS)
(
not
(
exists
(?SUBCLASS)
(
and
(
subclass
?SUBCLASS ?CLASS)
(
not
(
equal
?SUBCLASS ?CLASS))
(
instance
?ENTITY ?SUBCLASS)))))
Merge.kif 98-104
%è una
istanza
immediata %2
Classe
Classe
è una
sottoclasse
di
Classe
Classe
is
uguale
a
Classe
Entit�
è un'
istanza
di
Classe
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FictionalText
)
(
authors
?AGENT ?CLASS))
(
exists
(?CONTENT)
(
and
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
)
(
not
(
believes
?AGENT ?CONTENT)))))
Merge.kif 15431-15440
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
FictionalText
AgenteCognitivo
è l'
autore
di
OggettoSemiotico
Formula
ContentBearingPhysical
sussume
il contenuto di
Formula
Formula
è un'
istanza
di
Formula
AgenteCognitivo
non
crede
Formula
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