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
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
Series
est une
sous
-classe de
periodique
le volume
nombre entier positif
dans les
s
�ries
series
est
texte
le volume
nombre entier positif
dans les
s
�ries
series
est
texte
nombre entier positif
est
plus
grand
que
nombre entier positif
processus
est une
instance
de
publier
processus
est une
instance
de
publier
entit�
est une
instance
de
texte
entit�
est une
instance
de
texte
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
la
date
de
processus
est
jour
la
date
de
processus
est
jour
la
fin
de
jour
se produit
avant
la
fin
de
jour
(=>
(
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
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