Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
telephoneNumber
StrikeSlipFault
Sigma KEE - telephoneNumber
telephoneNumber
appearance as argument number 1
(
documentation
telephoneNumber
EnglishLanguage
"(%&telephoneNumber ?NUMBER ?AGENT) means that ?
AutonomousAgent
identifies a TelecomeNumber at which ?
AutonomousAgent
can be contacted")
Mid-level-ontology.kif 26652-26653
(
domain
telephoneNumber
1
TelecomNumber
)
Mid-level-ontology.kif 26650-26650
The number 1 argument of
telephone number
is an
instance
of
telecom number
(
domain
telephoneNumber
2
AutonomousAgent
)
Mid-level-ontology.kif 26651-26651
The number 2 argument of
telephone number
is an
instance
of
agent
(
instance
telephoneNumber
AsymmetricRelation
)
Mid-level-ontology.kif 26649-26649
telephone number
is an
instance
of
asymmetric relation
(
instance
telephoneNumber
BinaryPredicate
)
Mid-level-ontology.kif 26648-26648
telephone number
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
telephoneNumber
"%1 是 %2 的 telephone number ")
domainEnglishFormat.kif 4770-4770
(
format
ChineseTraditionalLanguage
telephoneNumber
"%1 是 %2 的 telephone number ")
domainEnglishFormat.kif 4769-4769
(
format
EnglishLanguage
telephoneNumber
"%1 is the telephone number of %2")
domainEnglishFormat.kif 4768-4768
(
subrelation
homePhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 26684-26684
home phone number
is a
subrelation
of
telephone number
(
subrelation
mobilePhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 26784-26784
mobile phone number
is a
subrelation
of
telephone number
(
subrelation
personalPhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 26664-26664
personal phone number
is a
subrelation
of
telephone number
(
subrelation
workPhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 26714-26714
work phone number
is a
subrelation
of
telephone number
(
termFormat
ChineseLanguage
telephoneNumber
"电话号码")
domainEnglishFormat.kif 57326-57326
work phone number
is a
subrelation
of
telephone number
(
termFormat
ChineseTraditionalLanguage
telephoneNumber
"電話號碼")
domainEnglishFormat.kif 57325-57325
work phone number
is a
subrelation
of
telephone number
(
termFormat
EnglishLanguage
telephoneNumber
"telephone number")
domainEnglishFormat.kif 57324-57324
work phone number
is a
subrelation
of
telephone number
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 26699-26708
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 26797-26804
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
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 26757-26778
If
a telecom number
is an
instance
of
hotline
and
the telecom number
is the
telephone
number
of
an agent
and
the agent
is an
instance
of
organization
,
then
the telecom number
has the purpose there exists
an entity
such that
the entity
is an
instance
of
telephoning
and
the entity
end
s up at
the agent
and the statement there exists
another entity
such that
the other entity
is an
instance
of
communication
and
the telecom number
is an
instrument
for
the other entity
and the
beginning
of the
time
of existence of
the other entity
is
equal
to the
beginning
of immediately
after
the
time
of existence of
the entity
has the
modal
force
of
likely
(=>
(
telephoneNumber
?NUMBER ?AGENT)
(
siteForContact
?NUMBER ?AGENT))
Mid-level-ontology.kif 26655-26657
If
a telecom number
is the
telephone
number
of
an agent
,
then
the agent
can be
contacted
at
the telecom number
consequent
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 26671-26678
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 29008-29019
If
an object
is an
instance
of
telephone communication
and
local
is an
attribute
of
the object
,
then there exist
a telecom number
,
another telecom number
,, ,
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 telecom number
is the
telephone
number
of
the agent
and
the other telecom number
is the
telephone
number
of
the other agent
and the
area
code
in
the telecom number
is
the symbolic string
and the
area
code
in
the other telecom number
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