Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
telephoneNumber
Sigma KEE - telephoneNumber
telephoneNumber
appearance as argument number 1
(
documentation
telephoneNumber
EnglishLanguage
"(%&telephoneNumber ?NUMBER ?AGENT) means that ?
Agent
identifies a TelecomeNumber at which ?
Agent
can be contacted")
Mid-level-ontology.kif 22945-22946
(
domain
telephoneNumber
1
TelecomNumber
)
Mid-level-ontology.kif 22943-22943
The number 1 argument of
telephone number
is an
instance
of
TelecomNumber
(
domain
telephoneNumber
2
Agent
)
Mid-level-ontology.kif 22944-22944
The number 2 argument of
telephone number
is an
instance
of
agent
(
instance
telephoneNumber
AsymmetricRelation
)
Mid-level-ontology.kif 22942-22942
telephone number
is an
instance
of
asymmetric relation
(
instance
telephoneNumber
BinaryPredicate
)
Mid-level-ontology.kif 22941-22941
telephone number
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
telephoneNumber
"%1 是 %2 的 telephone number ")
domainEnglishFormat.kif 4771-4771
(
format
ChineseTraditionalLanguage
telephoneNumber
"%1 是 %2 的 telephone number ")
domainEnglishFormat.kif 4770-4770
(
format
EnglishLanguage
telephoneNumber
"%1 is the telephone number of %2")
domainEnglishFormat.kif 4769-4769
(
subrelation
homePhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 22977-22977
homePhoneNumber
is a
subrelation
of
telephone number
(
subrelation
mobilePhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 23043-23043
mobilePhoneNumber
is a
subrelation
of
telephone number
(
subrelation
personalPhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 22957-22957
personalPhoneNumber
is a
subrelation
of
telephone number
(
subrelation
workPhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 23019-23019
workPhoneNumber
is a
subrelation
of
telephone number
(
termFormat
ChineseLanguage
telephoneNumber
"电话号码")
domainEnglishFormat.kif 57222-57222
(
termFormat
ChineseTraditionalLanguage
telephoneNumber
"電話號碼")
domainEnglishFormat.kif 57221-57221
(
termFormat
EnglishLanguage
telephoneNumber
"telephone number")
domainEnglishFormat.kif 57220-57220
antecedent
(=>
(
and
(
instance
?AGENT
Human
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT)
(
located
?DEVICE ?PLACE)
(
instance
?PLACE
Residence
))))
(
holdsDuring
?TIME
(
inhabits
?AGENT ?PLACE)))
Mid-level-ontology.kif 23004-23013
If
an entity
is an
instance
of
human
and
another entity
has
number
a third entity
and
the third entity
is the
telephone
number
of
the entity
and
the other entity
is
located
at
a fourth entity
and
the fourth entity
is an
instance
of
residence
holds
during
a time position
,
then
the entity
live
s in
the fourth entity
holds
during
the time position
(=>
(
and
(
instance
?DEVICE
MobileCellPhone
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT))))
(
holdsDuring
?TIME
(
mobilePhoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 23057-23064
If
an entity
is an
instance
of
mobile cell phone
and
the entity
has
number
another entity
and
the other entity
is the
telephone
number
of
a third entity
holds
during
a time position
,
then the
mobile
number
of
the third entity
is
the other entity
holds
during
the time position
(=>
(
telephoneNumber
?NUMBER ?AGENT)
(
siteForContact
?NUMBER ?AGENT))
Mid-level-ontology.kif 22948-22950
If
a TelecomNumber
is the
telephone
number
of
an agent
,
then
the agent
can be
contacted
at
the TelecomNumber
consequent
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 22964-22971
If
an entity
is an
instance
of
telephone
and
another entity
possess
es
the entity
and
the entity
has
number
a third entity
holds
during
a time position
,
then
the third entity
is the
telephone
number
of
the other entity
holds
during
the time position
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
Local
))
(
exists
(?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
telephoneNumber
?TEL1 ?ORIGIN)
(
telephoneNumber
?TEL2 ?DEST)
(
telecomAreaCode
?CODE ?TEL1)
(
telecomAreaCode
?CODE ?TEL2))))
Mid-level-ontology.kif 25384-25395
If
an object
is an
instance
of
telephone communication
and
local
is an
attribute
of
the object
,
then there exist
a TelecomNumber
,
another TelecomNumber
,, ,
an agent
,, ,
another agent
and
a symbolic string
such that
the object
originate
s at
the agent
and
the object
end
s up at
the other agent
and
the TelecomNumber
is the
telephone
number
of
the agent
and
the other TelecomNumber
is the
telephone
number
of
the other agent
and the
area
code
in
the TelecomNumber
is
the symbolic string
and the
area
code
in
the other TelecomNumber
is
the symbolic string
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 is
open source software
produced by
Articulate Software
and its partners
