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
siteForContact
Sigma KEE - siteForContact
siteForContact
appearance as argument number 1
(
documentation
siteForContact
EnglishLanguage
"(
siteForContact
?
ContactSite
?
AutonomousAgent
) means that the
Human
or
Organization
?
AutonomousAgent
can be reached at or via the point of contact ?
ContactSite
.")
Mid-level-ontology.kif 24604-24607
(
domain
siteForContact
1
ContactSite
)
Mid-level-ontology.kif 24602-24602
The number 1 argument of
site for contact
is an
instance
of
contact site
(
domain
siteForContact
2
AutonomousAgent
)
Mid-level-ontology.kif 24603-24603
The number 2 argument of
site for contact
is an
instance
of
agent
(
instance
siteForContact
AsymmetricRelation
)
Mid-level-ontology.kif 24600-24600
site for contact
is an
instance
of
asymmetric relation
(
instance
siteForContact
BinaryPredicate
)
Mid-level-ontology.kif 24601-24601
site for contact
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
siteForContact
"%2 能是 contacted 在 %1 ")
domainEnglishFormat.kif 4530-4530
(
format
ChineseTraditionalLanguage
siteForContact
"%2 能是 contacted 在 %1 ")
domainEnglishFormat.kif 4529-4529
(
format
EnglishLanguage
siteForContact
"%2 can be contacted at %1")
domainEnglishFormat.kif 4528-4528
(
subrelation
postContactSite
siteForContact
)
Mid-level-ontology.kif 24617-24617
post contact site
is a
subrelation
of
site for contact
(
subrelation
telecomContactDevice
siteForContact
)
Mid-level-ontology.kif 24866-24866
telecom contact device
is a
subrelation
of
site for contact
(
termFormat
EnglishLanguage
siteForContact
"site for contact")
domainEnglishFormat.kif 65937-65937
consequent
(=>
(
instance
?X
TelephoneCommunication
)
(
exists
(?TEL1 ?TEL2 ?ORIGIN ?DEST)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
siteForContact
?ORIGIN ?TEL1)
(
siteForContact
?DEST ?TEL2)
(
instance
?TEL1
Telephone
)
(
instance
?TEL2
Telephone
)
(
instrument
?X ?TEL1)
(
instrument
?X ?TEL2))))
Mid-level-ontology.kif 27027-27038
If
a process
is an
instance
of
telephone communication
,
then there exist
an agent
,
another agent
,, ,
a contact site
and
another contact site
such that
the process
originate
s at
the contact site
and
the process
end
s up at
the other contact site
and
the agent
can be
contacted
at
the contact site
and
the other agent
can be
contacted
at
the other contact site
and
the agent
is an
instance
of
telephone
and
the other agent
is an
instance
of
telephone
and
the agent
is an
instrument
for
the process
and
the other agent
is an
instrument
for
the process
(=>
(
telephoneNumber
?NUMBER ?AGENT)
(
siteForContact
?NUMBER ?AGENT))
Mid-level-ontology.kif 24991-24993
If
a telecom number
is the
telephone
number
of
an agent
,
then
the agent
can be
contacted
at
the telecom number
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