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
(
subrelation
?PRED1 ?PRED2)
(
instance
?PRED2 ?CLASS)
(
subclass
?CLASS
InheritableRelation
))
(
instance
?PRED1 ?CLASS))
Merge.kif 198-203
If
a relation
is a
subrelation
of
another relation
and
the other relation
is an
instance
of
a set or class
and
the set or class
is a
subclass
of
inheritable relation
,
then
the relation
is an
instance
of
the set or class
(
subclass
InheritableRelation
Relation
)
Merge.kif 2459-2459
Inheritable relation
is a
subclass
of
relation
(
subclass
SingleValuedRelation
InheritableRelation
)
Merge.kif 2085-2085
Single valued relation
is a
subclass
of
inheritable relation
(
subclass
TotalValuedRelation
InheritableRelation
)
Merge.kif 2103-2103
Total valued relation
is a
subclass
of
inheritable relation
(
subclass
BinaryRelation
InheritableRelation
)
Merge.kif 2140-2140
Binary relation
is a
subclass
of
inheritable relation
(
subclass
CaseRole
InheritableRelation
)
Merge.kif 2302-2302
Case role
is a
subclass
of
inheritable relation
(
subclass
ProbabilityRelation
InheritableRelation
)
Merge.kif 2466-2466
Probability relation
is a
subclass
of
inheritable relation
(
subclass
SpatialRelation
InheritableRelation
)
Merge.kif 2558-2558
Spatial relation
is a
subclass
of
inheritable relation
(
subclass
TemporalRelation
InheritableRelation
)
Merge.kif 2565-2565
Temporal relation
is a
subclass
of
inheritable relation
(
subclass
IntentionalRelation
InheritableRelation
)
Merge.kif 2571-2571
Intentional relation
is a
subclass
of
inheritable relation
(
subclass
PropositionalAttitude
InheritableRelation
)
Merge.kif 2597-2597
Propositional attitude
is a
subclass
of
inheritable relation
(
subclass
ObjectAttitude
InheritableRelation
)
Merge.kif 2610-2610
Object attitude
is a
subclass
of
inheritable relation
(
subclass
TernaryRelation
InheritableRelation
)
Merge.kif 2744-2744
Ternary relation
is a
subclass
of
inheritable relation
(
subclass
QuaternaryRelation
InheritableRelation
)
Merge.kif 2751-2751
Quaternary relation
is a
subclass
of
inheritable relation
(
subclass
QuintaryRelation
InheritableRelation
)
Merge.kif 2758-2758
Quintary relation
is a
subclass
of
inheritable relation
(
subclass
Predicate
InheritableRelation
)
Merge.kif 3187-3187
Predicate
is a
subclass
of
inheritable relation
(
subclass
Function
InheritableRelation
)
Merge.kif 3198-3198
Function
is a
subclass
of
inheritable relation
(
subclass
UnaryFunction
InheritableRelation
)
Merge.kif 3207-3207
Unary function
is a
subclass
of
inheritable relation
(
subclass
BinaryFunction
InheritableRelation
)
Merge.kif 3246-3246
Binary function
is a
subclass
of
inheritable relation
(
subclass
TernaryFunction
InheritableRelation
)
Merge.kif 3297-3297
Ternary function
is a
subclass
of
inheritable relation
(
subclass
QuaternaryFunction
InheritableRelation
)
Merge.kif 3308-3308
Quaternary function
is a
subclass
of
inheritable relation
(
subclass
BinaryPredicate
InheritableRelation
)
Merge.kif 3325-3325
Binary predicate
is a
subclass
of
inheritable relation
(
subclass
TernaryPredicate
InheritableRelation
)
Merge.kif 3336-3336
Ternary predicate
is a
subclass
of
inheritable relation
(
subclass
QuaternaryPredicate
InheritableRelation
)
Merge.kif 3347-3347
Quaternary predicate
is a
subclass
of
inheritable relation
(
subclass
QuintaryPredicate
InheritableRelation
)
Merge.kif 3358-3358
Quintary predicate
is a
subclass
of
inheritable relation
(
subclass
RelationExtendedToQuantities
InheritableRelation
)
Merge.kif 3379-3379
Relation extended to quantities
is a
subclass
of
inheritable relation
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
