Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
misspelledTitle
Sigma KEE - misspelledTitle
misspelledTitle
appearance as argument number 1
(
instance
misspelledTitle
TernaryPredicate
)
Media.kif 3143-3143
misspelled title
is an
instance
of
ternary predicate
(
domain
misspelledTitle
1
SymbolicString
)
Media.kif 3144-3144
The number 1 argument of
misspelled title
is an
instance
of
symbolic string
(
domainSubclass
misspelledTitle
2
ContentBearingPhysical
)
Media.kif 3145-3145
The number 2 argument of
misspelled title
is a
subclass
of
content bearing physical
(
domain
misspelledTitle
3
Language
)
Media.kif 3146-3146
The number 3 argument of
misspelled title
is an
instance
of
language
(
documentation
misspelledTitle
EnglishLanguage
"(
misspelledTitle
?STRING ?WORKTYPE ?LANGUAGE) means that in the
Language
?LANGUAGE, ?STRING is a misspelled version of the title of
instance
s of
ContentBearingPhysical
?WORKTYPE.")
Media.kif 3147-3150
The number 3 argument of
misspelled title
is an
instance
of
language
(
subrelation
misspelledTitle
titleInLanguage
)
Media.kif 3151-3151
misspelled title
is a
subrelation
of
title in language
appearance as argument number 2
(
format
EnglishLanguage
misspelledTitle
"%1 is a misspelled title for %2 in %3")
domainEnglishFormat.kif 3862-3862
(
format
ChineseTraditionalLanguage
misspelledTitle
"%1 是個 misspelled title 對於 %2 在 %3 ")
domainEnglishFormat.kif 3863-3863
(
format
ChineseLanguage
misspelledTitle
"%1 是个 misspelled title 对于 %2 在 %3 ")
domainEnglishFormat.kif 3864-3864
(
termFormat
EnglishLanguage
misspelledTitle
"misspelled title")
domainEnglishFormat.kif 65897-65897
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners