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
?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
(
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
(
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
(=>
(
attribute
?H
ArtCritic
)
(
hasPurpose
?H
(
exists
(?AW ?T ?CLASS)
(
and
(
instance
?AW
ArtWork
)
(
overlapsTemporally
(
WhenFn
?AW)
(
WhenFn
?H))
(
instance
?T ?CLASS)
(
subclass
?CLASS
Article
)
(
authors
?H ?CLASS)
(
refers
?T ?AW)))))
Mid-level-ontology.kif 21089-21101
attribute
Oggetto
and
ArtCritic
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
OperaD'Arte
il
tempo
di esistenza di
Oggetto
sovrappone
s il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
Articolo
Oggetto
è l'
autore
di
Entit�
Entit�
include un
riferimento
a
Entit�
(=>
(
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
(
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
(
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
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
Entit�Concreta
è un'
istanza
di
Iceberg
Classe
Classe
è una
sottoclasse
di
Glacier
Classe
è
fatto
di
Entit�Concreta
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
subclass
?PAPER
Newspaper
)
(
instance
?WEEK
Week
))
(
exists
(?PUBLICATION ?ISSUE)
(
and
(
instance
?PUBLICATION
Publication
)
(
temporalPart
(
WhenFn
?PUBLICATION) ?WEEK)
(
result
?PUBLICATION ?ISSUE)
(
instance
?ISSUE ?PAPER))))
Mid-level-ontology.kif 14789-14798
Classe
è una
sottoclasse
di
Newspaper
PosizioneTemporale
è un'
istanza
di
Settimana
Processo
Entit�
Processo
è un'
istanza
di
Editoria
il
tempo
di esistenza di
Processo
è una
parte
di
PosizioneTemporale
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Classe
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