Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
| ]
KB:
SUMO
Language:
Anisocoria
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
MechanicalAnisocoria
PhysiologicalAnisocoria
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - TelecomNumber
TelecomNumber
(telecom number)
appearance as argument number 1
(
subclass
TelecomNumber
VirtualAddress
)
Mid-level-ontology.kif 27254-27254
Telecom number
is a
subclass
of
virtual address
(
subclass
TelecomNumber
SymbolicString
)
Mid-level-ontology.kif 27255-27255
Telecom number
is a
subclass
of
symbolic string
(
subclass
TelecomNumber
ContactSite
)
Mid-level-ontology.kif 27256-27256
Telecom number
is a
subclass
of
contact site
appearance as argument number 2
(
termFormat
EnglishLanguage
TelecomNumber
"telecom number")
Mid-level-ontology.kif 27257-27257
(
subclass
Hotline
TelecomNumber
)
Mid-level-ontology.kif 27467-27467
Hotline
is a
subclass
of
telecom number
appearance as argument number 3
(
domain
accountPhoneNumber
2
TelecomNumber
)
ComputingBrands.kif 4064-4064
The number 2 argument of
account phone number
is an
instance
of
telecom number
(
domain
deviceTelecomNumber
1
TelecomNumber
)
Mid-level-ontology.kif 27261-27261
The number 1 argument of
device telecom number
is an
instance
of
telecom number
(
domain
telecomCoreNumber
2
TelecomNumber
)
Mid-level-ontology.kif 27271-27271
The number 2 argument of
telecom core number
is an
instance
of
telecom number
(
domain
telecomCountryCode
2
TelecomNumber
)
Mid-level-ontology.kif 27282-27282
The number 2 argument of
telecom country code
is an
instance
of
telecom number
(
domain
telecomAreaCode
2
TelecomNumber
)
Mid-level-ontology.kif 27295-27295
The number 2 argument of
telecom area code
is an
instance
of
telecom number
(
domain
telecomCode2
2
TelecomNumber
)
Mid-level-ontology.kif 27310-27310
The number 2 argument of
telecom code2
is an
instance
of
telecom number
(
domain
telecomExtension
2
TelecomNumber
)
Mid-level-ontology.kif 27321-27321
The number 2 argument of
telecom extension
is an
instance
of
telecom number
(
domain
telephoneNumber
1
TelecomNumber
)
Mid-level-ontology.kif 27367-27367
The number 1 argument of
telephone number
is an
instance
of
telecom number
(
domain
personalPhoneNumber
1
TelecomNumber
)
Mid-level-ontology.kif 27379-27379
The number 1 argument of
personal phone number
is an
instance
of
telecom number
(
domain
homePhoneNumber
1
TelecomNumber
)
Mid-level-ontology.kif 27399-27399
The number 1 argument of
home phone number
is an
instance
of
telecom number
(
domain
workPhoneNumber
1
TelecomNumber
)
Mid-level-ontology.kif 27429-27429
The number 1 argument of
work phone number
is an
instance
of
telecom number
(
domain
mobilePhoneNumber
1
TelecomNumber
)
Mid-level-ontology.kif 27499-27499
The number 1 argument of
mobile phone number
is an
instance
of
telecom number
(
domain
faxNumber
1
TelecomNumber
)
Mid-level-ontology.kif 27533-27533
The number 1 argument of
fax number
is an
instance
of
telecom number
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