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
(
subrelation
?PRED1 ?PRED2)
(
instance
?PRED2 ?CLASS)
(
subclass
?CLASS
InheritableRelation
))
(
instance
?PRED1 ?CLASS))
Merge.kif 200-205
子關係
Relation
and
Relation
例
Relation
and
Class
子類
Class
and
可繼承的關係
例
Relation
and
Class
(
subclass
InheritableRelation
Relation
)
Merge.kif 2558-2558
子類
可繼承的關係
and
Relation
(
subclass
SingleValuedRelation
InheritableRelation
)
Merge.kif 2177-2177
子類
SingleValuedRelation
and
可繼承的關係
(
subclass
TotalValuedRelation
InheritableRelation
)
Merge.kif 2195-2195
子類
TotalValuedRelation
and
可繼承的關係
(
subclass
BinaryRelation
InheritableRelation
)
Merge.kif 2233-2233
子類
BinaryRelation
and
可繼承的關係
(
subclass
CaseRole
InheritableRelation
)
Merge.kif 2401-2401
子類
CaseRole
and
可繼承的關係
(
subclass
ProbabilityRelation
InheritableRelation
)
Merge.kif 2565-2565
子類
ProbabilityRelation
and
可繼承的關係
(
subclass
SpatialRelation
InheritableRelation
)
Merge.kif 2657-2657
子類
SpatialRelation
and
可繼承的關係
(
subclass
TemporalRelation
InheritableRelation
)
Merge.kif 2664-2664
子類
TemporalRelation
and
可繼承的關係
(
subclass
IntentionalRelation
InheritableRelation
)
Merge.kif 2670-2670
子類
有意圖的關係
and
可繼承的關係
(
subclass
PropositionalAttitude
InheritableRelation
)
Merge.kif 2696-2696
子類
PropositionalAttitude
and
可繼承的關係
(
subclass
ObjectAttitude
InheritableRelation
)
Merge.kif 2709-2709
子類
ObjectAttitude
and
可繼承的關係
(
subclass
TernaryRelation
InheritableRelation
)
Merge.kif 2855-2855
子類
TernaryRelation
and
可繼承的關係
(
subclass
QuaternaryRelation
InheritableRelation
)
Merge.kif 2862-2862
子類
QuaternaryRelation
and
可繼承的關係
(
subclass
QuintaryRelation
InheritableRelation
)
Merge.kif 2869-2869
子類
QuintaryRelation
and
可繼承的關係
(
subclass
Predicate
InheritableRelation
)
Merge.kif 3340-3340
子類
Predicate
and
可繼承的關係
(
subclass
Function
InheritableRelation
)
Merge.kif 3351-3351
子類
Function
and
可繼承的關係
(
subclass
UnaryFunction
InheritableRelation
)
Merge.kif 3360-3360
子類
UnaryFunction
and
可繼承的關係
(
subclass
BinaryFunction
InheritableRelation
)
Merge.kif 3400-3400
子類
BinaryFunction
and
可繼承的關係
(
subclass
TernaryFunction
InheritableRelation
)
Merge.kif 3452-3452
子類
TernaryFunction
and
可繼承的關係
(
subclass
QuaternaryFunction
InheritableRelation
)
Merge.kif 3463-3463
子類
QuaternaryFunction
and
可繼承的關係
(
subclass
BinaryPredicate
InheritableRelation
)
Merge.kif 3480-3480
子類
BinaryPredicate
and
可繼承的關係
(
subclass
TernaryPredicate
InheritableRelation
)
Merge.kif 3491-3491
子類
TernaryPredicate
and
可繼承的關係
(
subclass
QuaternaryPredicate
InheritableRelation
)
Merge.kif 3502-3502
子類
QuaternaryPredicate
and
可繼承的關係
(
subclass
QuintaryPredicate
InheritableRelation
)
Merge.kif 3513-3513
子類
QuintaryPredicate
and
可繼承的關係
(
subclass
RelationExtendedToQuantities
InheritableRelation
)
Merge.kif 3534-3534
子類
RelationExtendedToQuantities
and
可繼承的關係
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