Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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
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 24988-24989
(
domain
telephoneNumber
1
TelecomNumber
)
Mid-level-ontology.kif 24986-24986
Die Zahl 1 Argument von
telephoneNumber
ist ein
fall
von
TelecomNumber
%n{nicht}
(
domain
telephoneNumber
2
AutonomousAgent
)
Mid-level-ontology.kif 24987-24987
Die Zahl 2 Argument von
telephoneNumber
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
telephoneNumber
AsymmetricRelation
)
Mid-level-ontology.kif 24985-24985
telephoneNumber
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
telephoneNumber
BinaryPredicate
)
Mid-level-ontology.kif 24984-24984
telephoneNumber
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
telephoneNumber
"%1 是 %2 的 telephone number ")
domainEnglishFormat.kif 4766-4766
(
format
ChineseTraditionalLanguage
telephoneNumber
"%1 是 %2 的 telephone number ")
domainEnglishFormat.kif 4765-4765
(
format
EnglishLanguage
telephoneNumber
"%1 is the telephone number of %2")
domainEnglishFormat.kif 4764-4764
(
subrelation
homePhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 25020-25020
homePhoneNumber
ist eine
teilrelation
von
telephoneNumber
(
subrelation
mobilePhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 25120-25120
mobilePhoneNumber
ist eine
teilrelation
von
telephoneNumber
(
subrelation
personalPhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 25000-25000
personalPhoneNumber
ist eine
teilrelation
von
telephoneNumber
(
subrelation
workPhoneNumber
telephoneNumber
)
Mid-level-ontology.kif 25050-25050
workPhoneNumber
ist eine
teilrelation
von
telephoneNumber
(
termFormat
ChineseLanguage
telephoneNumber
"电话号码")
domainEnglishFormat.kif 57320-57320
(
termFormat
ChineseTraditionalLanguage
telephoneNumber
"電話號碼")
domainEnglishFormat.kif 57319-57319
(
termFormat
EnglishLanguage
telephoneNumber
"telephone number")
domainEnglishFormat.kif 57318-57318
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 25035-25044
Wenn
Entity
ist ein
fall
von
Human
%n{nicht} und
deviceTelecomNumber
** entity
and
** entity
und
telephoneNumber
** ** entity
and
** Entity
und
** ** entity
befindet
sich an %n{nicht} und
** entity
ist ein
fall
von
Residence
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
** Entity
wohnt in
** ** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?DEVICE
MobileCellPhone
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT))))
(
holdsDuring
?TIME
(
mobilePhoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25133-25140
Wenn
Entity
ist ein
fall
von
MobileCellPhone
%n{nicht} und
deviceTelecomNumber
** entity
and
** Entity
und
telephoneNumber
** ** entity
and
** entity
haelt
waehrend
TimePosition
%n{nicht},
dann
mobilePhoneNumber
** ** entity
and
** ** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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 25093-25114
Wenn
TelecomNumber
ist ein
fall
von
Hotline
%n{nicht} und
telephoneNumber
** TelecomNumber
and
AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht},
dann
** TelecomNumber
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Telephoning
%n{nicht} und
** entity
endet an
** AutonomousAgent
%n{nicht} und die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
Communication
%n{nicht} und
** TelecomNumber
ist ein
instrument
fuer
** ** entity
%n{nicht} und der
anfang
von die
zeit
des Bestehens von
** ** entity
ist gleich der
anfang
von sofort
nach
die
zeit
des Bestehens von
** entity
%n{nicht} hat die modale Kraft von
Likely
%n{nicht}
(=>
(
telephoneNumber
?NUMBER ?AGENT)
(
siteForContact
?NUMBER ?AGENT))
Mid-level-ontology.kif 24991-24993
Wenn
telephoneNumber
TelecomNumber
and
AutonomousAgent
,
dann
siteForContact
** TelecomNumber
and
** AutonomousAgent
consequent
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25007-25014
Wenn
Entity
ist ein
fall
von
Telephone
%n{nicht} und
** entity
besitzt
** Entity
%n{nicht} und
deviceTelecomNumber
** entity
and
** Entity
haelt
waehrend
TimePosition
%n{nicht},
dann
telephoneNumber
** ** entity
and
** ** entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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 27107-27118
Wenn
Object
ist ein
fall
von
TelephoneCommunication
%n{nicht} und
Local
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
TelecomNumber
,
** TelecomNumber
,, ,
AutonomousAgent
,, ,
** AutonomousAgent
, and und
SymbolicString
um
** Object
beginnet an
** AutonomousAgent
%n{nicht} und
** Object
endet an
** ** AutonomousAgent
%n{nicht} und
telephoneNumber
** TelecomNumber
and
** AutonomousAgent
und
telephoneNumber
** ** TelecomNumber
and
** ** AutonomousAgent
und
telecomAreaCode
** SymbolicString
and
** TelecomNumber
und
telecomAreaCode
** SymbolicString
and
** ** TelecomNumber
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