Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - EvenInteger
EvenInteger
appearance as argument number 1
(
documentation
EvenInteger
ChineseLanguage
"这是一个可以被2整除的
Integer
。")
chinese_format.kif 1749-1749
(
documentation
EvenInteger
EnglishLanguage
"An
Integer
that is evenly divisible by 2.")
Merge.kif 1869-1870
(
subclass
EvenInteger
Integer
)
Merge.kif 1867-1867
subclass
EvenInteger
and
Integer
appearance as argument number 2
(
termFormat
ChineseLanguage
EvenInteger
"偶数")
chinese_format.kif 867-867
termFormat
ChineseLanguage
,
EvenInteger
and "偶数"
(
termFormat
EnglishLanguage
EvenInteger
"even integer")
english_format.kif 941-941
termFormat
EnglishLanguage
,
EvenInteger
and "even integer"
appearance as argument number 3
(
partition
Integer
OddInteger
EvenInteger
)
Merge.kif 1862-1862
partition
Integer
,
OddInteger
and
EvenInteger
antecedent
(=>
(
instance
?NUMBER
EvenInteger
)
(
equal
(
RemainderFn
?NUMBER 2) 0))
Merge.kif 4770-4772
instance
Integer
and
EvenInteger
equal
RemainderFn
Integer
and 2 and 0
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners