Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
equivalenceRelationOn
Sigma KEE - equivalenceRelationOn
equivalenceRelationOn
appearance as argument number 1
(
documentation
equivalenceRelationOn
ChineseLanguage
"一个
BinaryRelation
在一个
SetOrClass
是
equivalenceRelationOn
,除非这个关系在这个
SetOrClass
是
reflexiveOn
, 而且也要既是
TransitiveRelation
,又是
SymmetricRelation
。")
chinese_format.kif 2055-2057
(
documentation
equivalenceRelationOn
EnglishLanguage
"A
BinaryRelation
is an
equivalenceRelationOn
a
Class
only if the relation is
reflexiveOn
the
Class
and it is both a
TransitiveRelation
and a
SymmetricRelation
.")
Merge.kif 3636-3639
(
domain
equivalenceRelationOn
1
BinaryRelation
)
Merge.kif 3633-3633
(
domain
equivalenceRelationOn
2
Class
)
Merge.kif 3634-3634
(
instance
equivalenceRelationOn
AsymmetricRelation
)
Merge.kif 3632-3632
(
instance
equivalenceRelationOn
BinaryPredicate
)
Merge.kif 3631-3631
appearance as argument number 2
(
format
ChineseLanguage
equivalenceRelationOn
"%1 和 %2 %n 是
EquivalenceRelation
")
chinese_format.kif 99-99
(
format
EnglishLanguage
equivalenceRelationOn
"%1 is %n an equivalence relation on %2")
english_format.kif 99-99
(
termFormat
ChineseLanguage
equivalenceRelationOn
"属于等价关系")
chinese_format.kif 100-100
(
termFormat
ChineseLanguage
equivalenceRelationOn
"等价关系")
domainEnglishFormat.kif 22353-22353
(
termFormat
ChineseTraditionalLanguage
equivalenceRelationOn
"等價關係")
domainEnglishFormat.kif 22352-22352
(
termFormat
EnglishLanguage
equivalenceRelationOn
"equivalence relation on")
domainEnglishFormat.kif 22351-22351
antecedent
(=>
(
equivalenceRelationOn
?RELATION ?CLASS)
(
and
(
instance
?RELATION
TransitiveRelation
)
(
instance
?RELATION
SymmetricRelation
)
(
reflexiveOn
?RELATION ?CLASS)))
Merge.kif 3641-3646
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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