Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 219-225
If the number
a positive integer
argument of
a relation
is an
instance
of
a set or class
and the number
the positive integer
argument of
the relation
is an
instance
of
another set or class
,
then
the set or class
is a
subclass
of
the other set or class
or
the other set or class
is a
subclass
of
the set or class
(=>
(
and
(
instance
?REL
EconomicRelation
)
(
domain
?REL 1 ?CLASS))
(
subclass
?CLASS
GeopoliticalArea
))
Mid-level-ontology.kif 14461-14465
If
a relation
is an
instance
of
economic relation
and the number 1 argument of
the relation
is an
instance
of
a set or class
,
then
the set or class
is a
subclass
of
geopolitical area
(
domain
subclass
1
SetOrClass
)
Merge.kif 130-130
The number 1 argument of
subclass
is an
instance
of
set or class
(
domain
subclass
2
SetOrClass
)
Merge.kif 131-131
The number 2 argument of
subclass
is an
instance
of
set or class
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
