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
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
book
,
then
book publishers
is an
attribute
of
the entity
holds
during
the time position
(
subclass
Book
Document
)
Mid-level-ontology.kif 26407-26407
Book
is a
subclass
of
document
(
subclass
Book
HardcopyDocument
)
Media.kif 1073-1073
Book
is a
subclass
of
hardcopy document
(
subclass
ChristianBible
Book
)
Mid-level-ontology.kif 7864-7864
Christian bible
is a
subclass
of
book
(
subclass
OldTestament
Book
)
Mid-level-ontology.kif 7875-7875
Old testament
is a
subclass
of
book
(
subclass
NewTestament
Book
)
Mid-level-ontology.kif 7879-7879
New testament
is a
subclass
of
book
(
subclass
ReferenceBook
Book
)
Mid-level-ontology.kif 14913-14913
Reference book
is a
subclass
of
book
(
subclass
Novel
Book
)
Mid-level-ontology.kif 14946-14946
Novel
is a
subclass
of
book
(
subclass
GuideBook
Book
)
Mid-level-ontology.kif 26410-26410
Guide book
is a
subclass
of
book
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