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
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
If
writer
is an
attribute
of
an agent
and
an entity
is an
instance
of
a kind of content bearing object
and
a kind of content bearing object
is a
subclass
of
text
or
the kind of content bearing object
is a
subclass
of
document
and
a process
is an
instance
of
writing
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
,
then
the agent
is the
author
of
the kind of content bearing object
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
If
an entity
publishe
s
a class
holds
during
a time position
and
the class
is a
subclass
of
text
,
then
information industry
is an
attribute
of
the entity
holds
during
the time position
(
subclass
Text
LinguisticExpression
)
Merge.kif 15405-15405
Text
is a
subclass
of
linguistic expression
(
subclass
Text
ContentBearingObject
)
Merge.kif 15406-15406
Text
is a
subclass
of
content bearing object
(
subclass
Text
Artifact
)
Merge.kif 15407-15407
Text
is a
subclass
of
artifact
(
subclass
JointPublication
Text
)
MilitaryProcesses.kif 921-921
Joint publication
is a
subclass
of
text
(
subclass
Doctrine
Text
)
MilitaryProcesses.kif 993-993
Doctrine
is a
subclass
of
text
(
subclass
ChairmanPublication
Text
)
MilitaryProcesses.kif 1025-1025
Chairman publication
is a
subclass
of
text
(
subclass
Lyrics
Text
)
Mid-level-ontology.kif 687-687
Lyrics
is a
subclass
of
text
(
subclass
Paragraph
Text
)
Mid-level-ontology.kif 698-698
Paragraph
is a
subclass
of
text
(
subclass
ChristianGospel
Text
)
Mid-level-ontology.kif 7897-7897
Christian gospel
is a
subclass
of
text
(
subclass
Prescription
Text
)
Mid-level-ontology.kif 9292-9292
Prescription
is a
subclass
of
text
(
subclass
MusicText
Text
)
Mid-level-ontology.kif 14447-14447
Music text
is a
subclass
of
text
(
subclass
Label
Text
)
Mid-level-ontology.kif 14499-14499
Label
is a
subclass
of
text
(
subclass
FormText
Text
)
Mid-level-ontology.kif 14512-14512
Form text
is a
subclass
of
text
(
subclass
Series
Text
)
Mid-level-ontology.kif 14672-14672
Series
is a
subclass
of
text
(
subclass
Article
Text
)
Mid-level-ontology.kif 14704-14704
Article
is a
subclass
of
text
(
subclass
NarrativeText
Text
)
Mid-level-ontology.kif 14951-14951
Narrative text
is a
subclass
of
text
(
subclass
MotionPicture
Text
)
Merge.kif 1392-1392
Motion picture
is a
subclass
of
text
(
subclass
FactualText
Text
)
Merge.kif 15427-15427
Factual text
is a
subclass
of
text
(
subclass
FictionalText
Text
)
Merge.kif 15455-15455
Fictional text
is a
subclass
of
text
(
subclass
Summary
Text
)
Merge.kif 15632-15632
Summary
is a
subclass
of
text
(
subclass
Certificate
Text
)
Merge.kif 15679-15679
Certificate
is a
subclass
of
text
(
subclass
TreatyDocument
Text
)
Geography.kif 3034-3034
Treaty document
is a
subclass
of
text
(
subclass
CalendarText
Text
)
ComputingBrands.kif 2287-2287
Calendar
is a
subclass
of
text
(
subclass
Spam
Text
)
ComputingBrands.kif 4222-4222
Spam
is a
subclass
of
text
(
subclass
LiveTestUpdate
Text
)
ComputerInput.kif 3012-3012
LTU
is a
subclass
of
text
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
