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
Processus
est une
instance
de
BreakingRecord
processus
est un
agent
de
AutonomousAgent
ensemble
classe
,
processus
,
point temporel
,
r�le d�pendant du cas
,
objet
and
entit�
ensemble
est une
instance
de
ensemble
AutonomousAgent
est un
ensemble
classe
est une
sous
-classe de
processus
objet
est une
instance
de
r�gion
point temporel
est une
instance
de
point temporel
entit�
est une
instance
de
quantit�
processus
est une
instance
de
classe
processus
inclut une
r
�f�rence �
entit�
entit�
inclut une
r
�f�rence �
processus
playsRoleInEvent
AutonomousAgent
,
r�le d�pendant du cas
and
processus
eventLocated
processus
and
objet
entit�
entit�
entit�
est une
instance
de
ensemble
entit�
est
AutonomousAgent
entit�
est une
instance
de
classe
playsRoleInEvent
entit�
,
r�le d�pendant du cas
and
entit�
eventLocated
entit�
and
objet
pendant
l'
intervale
entre
point temporel
et la
fin
de
temps
d'existence de
processus
(=>
(
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
ADHD
est un
attribut
de
AutonomousAgent
ADHD
est un
attribut
de
AutonomousAgent
AutonomousAgent
est
AutonomousAgent
processus
est une
instance
de
classe
processus
est une
instance
de
classe
classe
est une
sous
-classe de
processus psycholoqique intentionnel
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
l'argument
dur�e temporel
est
plus
grand
que
dur�e temporel
a la
force
modale
de
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
Interval temporel
est une
instance
de
interval temporel
_CLASS
interval temporel
_CLASS est une
sous
-classe de
processus
AccessingWebPage
est une
instance
de
AccessingWebPage
AutonomousAgent
est une
instance
de
AutonomousAgent
interval temporel
est un
agent
de
AutonomousAgent
AccessingWebPage
est un
agent
de
AutonomousAgent
interval temporel
prend place
pendant
AccessingWebPage
physique
est une
instance
de
interval temporel
interval temporel
2
interval temporel
2 est une
instance
de
interval temporel
_CLASS
interval temporel
2 est un
agent
de
AutonomousAgent
interval temporel
2 prend place
pendant
AccessingWebPage
le
d
�but de
temps
d'existence de
interval temporel
2 se produit
avant
le
d
�but de
temps
d'existence de
interval temporel
le
d
�but de
temps
d'existence de
AccessingWebPage
est
d
�but de
temps
d'existence de
physique
le
d
�but de
temps
d'existence de
interval temporel
est
fin
de
temps
d'existence de
physique
TTFxFn
interval temporel
_CLASS and
AccessingWebPage
est
physique
(=>
(
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
ArtCritic
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
objet d'art
temps
d'existence de
objet
recouvre
temps
d'existence de
entit�
entit�
est une
instance
de
entit�
entit�
est une
sous
-classe de
article
objet
est l'
auteur
de
entit�
entit�
inclut une
r
�f�rence �
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
NewsReporter
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
temps
d'existence de
objet
recouvre
temps
d'existence de
entit�
entit�
est une
instance
de
entit�
entit�
est une
sous
-classe de
Newspaper
entit�
est une
sous
-classe de
NewsProgram
objet
est l'
auteur
de
entit�
entit�
inclut une
r
�f�rence �
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
processus
est une
instance
de
classe
processus
est une
instance
de
classe
classe
est une
sous
-classe de
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfDuration
la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s) la
dur
�� de
temps
d'existence de
processus
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
secteur g�ographique
and
physique
physique
est une
sous
-classe de
processus
physique
physique
est une
instance
de
physique
physique
est
situ
� �
secteur g�ographique
temps
d'existence de
secteur g�ographique
recouvre
temps
d'existence de
physique
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
Physique
est une
instance
de
Iceberg
classe
classe
est une
sous
-classe de
Glacier
classe
est
fait
de
physique
pendant
immediatement
avant
temps
d'existence de
physique
(=>
(
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
est une
sous
-classe de
Newspaper
position temporel
est une
instance
de
semaine
processus
entit�
processus
est une
instance
de
publier
temps
d'existence de
processus
est une
partie
de
position temporel
entit�
est le
resultat
de
processus
entit�
est une
instance
de
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