Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
HebrewLanguage
Hindi
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
ar
cb
classmate
colleague
cz
de
expectedYearOfGraduation
hi
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsInformation
?INST ?PROP))
(
believes
?PARTY ?PROP))
Government.kif 2278-2285
If
a kind of content bearing object
is a
subclass
of
party platform
and
a cognitive agent
is the
author
of
a kind of content bearing object
and
the cognitive agent
is an
instance
of
political party
and
a content bearing physical
is an
instance
of
the kind of content bearing object
and
the content bearing physical
contain
s information
a formula
,
then
the cognitive agent
believe
s
the formula
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FictionalText
)
(
authors
?AGENT ?CLASS))
(
exists
(?CONTENT)
(
and
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
)
(
not
(
believes
?AGENT ?CONTENT)))))
Merge.kif 15401-15410
If
a content bearing physical
is an
instance
of
a kind of content bearing object
and
a kind of content bearing object
is a
subclass
of
fictional text
and
a cognitive agent
is the
author
of
the kind of content bearing object
,
then there exists
a formula
such that
the content bearing physical
subsume
s the content of
the formula
and
the formula
is an
instance
of
formula
and
the cognitive agent
doesn't
believe
the formula
(=>
(
and
(
instance
?TEXT ?CLASS)
(
subclass
?CLASS
FactualText
)
(
authors
?AGENT ?CLASS)
(
subsumesContentInstance
?TEXT ?CONTENT)
(
instance
?CONTENT
Formula
))
(
believes
?AGENT ?CONTENT))
Merge.kif 15367-15374
If
a content bearing physical
is an
instance
of
a kind of content bearing object
and
a kind of content bearing object
is a
subclass
of
factual text
and
a cognitive agent
is the
author
of
the kind of content bearing object
and
the content bearing physical
subsume
s the content of
a formula
and
the formula
is an
instance
of
formula
,
then
the cognitive agent
believe
s
the formula
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
