Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
inverse
Sigma KEE - inverse
inverse
appearance as argument number 1
(
documentation
inverse
ChineseLanguage
"
BinaryRelation
的相反是一种
Relation
, 而属于它 原本
Relation
所有元组的值都逆转。 换句话说,当一种二元关系和另一种二元关系的参数交换的结果是相等的 话,那这
BinaryRelation
就是另一种的相反。")
chinese_format.kif 1367-1369
(
documentation
inverse
EnglishLanguage
"The inverse of a
BinaryRelation
is a
Relation
in which all the tuples of the original
Relation
are reversed. In other words, one
BinaryRelation
is the inverse of another if they are equivalent when their arguments are swapped.")
Merge.kif 112-115
(
domain
inverse
1
BinaryRelation
)
Merge.kif 110-110
(
domain
inverse
2
BinaryRelation
)
Merge.kif 111-111
(
instance
inverse
BinaryPredicate
)
Merge.kif 105-105
(
instance
inverse
IntransitiveRelation
)
Merge.kif 107-107
(
instance
inverse
IrreflexiveRelation
)
Merge.kif 106-106
(
instance
inverse
PartialValuedRelation
)
Merge.kif 109-109
(
instance
inverse
SymmetricRelation
)
Merge.kif 108-108
appearance as argument number 2
(
format
ChineseLanguage
inverse
"%1 %n 是 %2 的
inverse
")
chinese_format.kif 307-307
(
format
EnglishLanguage
inverse
"%1 is %n an
inverse
of %2")
english_format.kif 315-315
(
termFormat
ChineseLanguage
inverse
"逆")
domainEnglishFormat.kif 30817-30817
(
termFormat
ChineseLanguage
inverse
"逆向")
chinese_format.kif 308-308
(
termFormat
ChineseTraditionalLanguage
inverse
"逆")
domainEnglishFormat.kif 30816-30816
(
termFormat
EnglishLanguage
inverse
"inverse")
domainEnglishFormat.kif 30815-30815
appearance as argument number 0
(
inverse
greaterThan
lessThan
)
Merge.kif 1763-1763
(
inverse
greaterThanOrEqualTo
lessThanOrEqualTo
)
Merge.kif 1792-1792
(
inverse
husband
wife
)
Merge.kif 15447-15447
(
inverse
smaller
larger
)
Merge.kif 7400-7400
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