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:
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14633-14640
If
a kind of series
is a
subclass
of
newsprogram
and
an entity
is an
instance
of volume
a positive integer
in the
series
a kind of series
,
then there exists
a process
such that
the process
is an
instance
of
disseminating
and
the entity
is a
patient
of
the process
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14651-14665
If
a kind of series
is a
subclass
of
periodical
and volume
a positive integer
in the
series
a kind of series
is
equal
to
a kind of text
and volume
another positive integer
in the
series
the kind of series
is
equal
to
another kind of text
and
the other positive integer
is
greater
than
the positive integer
and
a process
is an
instance
of
publication
and
another process
is an
instance
of
publication
and
an entity
is an
instance
of
a kind of text
and
another entity
is an
instance
of
another kind of text
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the other process
and
date
of
the process
is
a day
and
date
of
the other process
is
another day
,
then the
end
of
the day
happens
before
the
end
of
the other day
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