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
personalPhoneNumber
Sigma KEE - personalPhoneNumber
personalPhoneNumber
appearance as argument number 1
(
instance
personalPhoneNumber
BinaryPredicate
)
Mid-level-ontology.kif 27278-27278
personal phone number
is an
instance
of
binary predicate
(
instance
personalPhoneNumber
AsymmetricRelation
)
Mid-level-ontology.kif 27279-27279
personal phone number
is an
instance
of
asymmetric relation
(
domain
personalPhoneNumber
1
TelecomNumber
)
Mid-level-ontology.kif 27280-27280
The number 1 argument of
personal phone number
is an
instance
of
telecom number
(
domain
personalPhoneNumber
2
Human
)
Mid-level-ontology.kif 27281-27281
The number 2 argument of
personal phone number
is an
instance
of
human
(
subrelation
personalPhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 27282-27282
personal phone number
is a
subrelation
of
telephone number
(
documentation
personalPhoneNumber
EnglishLanguage
"(
personalPhoneNumber
?
TelecomNumber
?
Human
) means that ?
TelecomNumber
identifies a
Telephone
at which ?
Human
can be contacted when not a work, or for purposes other than work.")
Mid-level-ontology.kif 27283-27287
personal phone number
is a
subrelation
of
telephone number
appearance as argument number 2
(
format
EnglishLanguage
personalPhoneNumber
"the personal phone of %2 is %1")
domainEnglishFormat.kif 4108-4108
(
format
ChineseTraditionalLanguage
personalPhoneNumber
"%2 的 personal phone 是 %1 ")
domainEnglishFormat.kif 4109-4109
(
format
ChineseLanguage
personalPhoneNumber
"%2 的 personal phone 是 %1 ")
domainEnglishFormat.kif 4110-4110
(
termFormat
EnglishLanguage
personalPhoneNumber
"personal phone number")
domainEnglishFormat.kif 65920-65920
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