Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
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 194-199
If
a relation
is a
subrelation
of
another relation
and
the other relation
is an
instance
of
a class
and
the class
is a
subclass
of
inheritable relation
,
then
the relation
is an
instance
of
the class
(
subclass
InheritableRelation
Relation
)
Merge.kif 2569-2569
Inheritable relation
is a
subclass
of
relation
(
subclass
SingleValuedRelation
InheritableRelation
)
Merge.kif 2188-2188
Single valued relation
is a
subclass
of
inheritable relation
(
subclass
TotalValuedRelation
InheritableRelation
)
Merge.kif 2206-2206
Total valued relation
is a
subclass
of
inheritable relation
(
subclass
BinaryRelation
InheritableRelation
)
Merge.kif 2244-2244
Binary relation
is a
subclass
of
inheritable relation
(
subclass
CaseRole
InheritableRelation
)
Merge.kif 2412-2412
Case role
is a
subclass
of
inheritable relation
(
subclass
ProbabilityRelation
InheritableRelation
)
Merge.kif 2576-2576
Probability relation
is a
subclass
of
inheritable relation
(
subclass
SpatialRelation
InheritableRelation
)
Merge.kif 2668-2668
Spatial relation
is a
subclass
of
inheritable relation
(
subclass
TemporalRelation
InheritableRelation
)
Merge.kif 2675-2675
Temporal relation
is a
subclass
of
inheritable relation
(
subclass
IntentionalRelation
InheritableRelation
)
Merge.kif 2681-2681
Intentional relation
is a
subclass
of
inheritable relation
(
subclass
PropositionalAttitude
InheritableRelation
)
Merge.kif 2707-2707
Propositional attitude
is a
subclass
of
inheritable relation
(
subclass
ObjectAttitude
InheritableRelation
)
Merge.kif 2720-2720
Object attitude
is a
subclass
of
inheritable relation
(
subclass
TernaryRelation
InheritableRelation
)
Merge.kif 2868-2868
Ternary relation
is a
subclass
of
inheritable relation
(
subclass
QuaternaryRelation
InheritableRelation
)
Merge.kif 2875-2875
Quaternary relation
is a
subclass
of
inheritable relation
(
subclass
QuintaryRelation
InheritableRelation
)
Merge.kif 2882-2882
Quintary relation
is a
subclass
of
inheritable relation
(
subclass
Predicate
InheritableRelation
)
Merge.kif 3355-3355
Predicate
is a
subclass
of
inheritable relation
(
subclass
Function
InheritableRelation
)
Merge.kif 3366-3366
Function
is a
subclass
of
inheritable relation
(
subclass
UnaryFunction
InheritableRelation
)
Merge.kif 3375-3375
Unary function
is a
subclass
of
inheritable relation
(
subclass
BinaryFunction
InheritableRelation
)
Merge.kif 3415-3415
Binary function
is a
subclass
of
inheritable relation
(
subclass
TernaryFunction
InheritableRelation
)
Merge.kif 3467-3467
Ternary function
is a
subclass
of
inheritable relation
(
subclass
QuaternaryFunction
InheritableRelation
)
Merge.kif 3478-3478
Quaternary function
is a
subclass
of
inheritable relation
(
subclass
BinaryPredicate
InheritableRelation
)
Merge.kif 3495-3495
Binary predicate
is a
subclass
of
inheritable relation
(
subclass
TernaryPredicate
InheritableRelation
)
Merge.kif 3506-3506
Ternary predicate
is a
subclass
of
inheritable relation
(
subclass
QuaternaryPredicate
InheritableRelation
)
Merge.kif 3517-3517
Quaternary predicate
is a
subclass
of
inheritable relation
(
subclass
QuintaryPredicate
InheritableRelation
)
Merge.kif 3528-3528
Quintary predicate
is a
subclass
of
inheritable relation
(
subclass
RelationExtendedToQuantities
InheritableRelation
)
Merge.kif 3549-3549
Relation extended to quantities
is a
subclass
of
inheritable relation
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