Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  1
1
consequent
(=>
(
instance
?NUMBER
Integer
)
(
equal
(
ReciprocalFn
?NUMBER)
(
ExponentiationFn
?NUMBER 1)))
Merge.kif 48694871
If
a real number
is an
instance
of
integer
,
then the
reciprocal
of
the real number
is
equal
to
the real number
raised to the
power
1
(=>
(
instance
?NUMBER
NegativeRealNumber
)
(
equal
(
SignumFn
?NUMBER) 1))
Merge.kif 49544956
If
a real number
is an
instance
of
negative real number
,
then the
sign
of
the real number
is
equal
to 1
(=>
(
instance
?X
NonnegativeInteger
)
(
greaterThan
?X 1))
Merge.kif 18891891
If
a quantity
is an
instance
of
nonnegative integer
,
then
the quantity
is
greater
than 1
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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