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 14623-14637
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
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24194-24205
Physique
est une
instance
de
Wedding
la
date
de
physique
est
jour
jour
est une
instance
de le
jour
nombre entier positif
jour
nombre entier
weddingAnniversary
physique
and
jour
jour
est une
sous
-classe de
jour
nombre entier
est une
instance
de
nombre entier
jour
est
jour
nombre entier positif
nombre entier
est
plus
grand
que
nombre entier
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