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
Sigma KEE - InternetConnection
InternetConnection
(internet connection)
appearance as argument number 1
(
documentation
InternetConnection
EnglishLanguage
"
InternetConnection
refers to the medium or channel by which a device is
connected
to an
InternetAccessPoint
")
Hotel.kif 1388-1389
(
subclass
InternetConnection
EngineeringConnection
)
Hotel.kif 1387-1387
Internet connection
is a
subclass
of
engineering connection
appearance as argument number 2
(
subclass
WiredInternetConnection
InternetConnection
)
Hotel.kif 1410-1410
Internet
is a
subclass
of
internet connection
(
subclass
WirelessInternetConnection
InternetConnection
)
Hotel.kif 1422-1422
Wireless internet
is a
subclass
of
internet connection
(
termFormat
EnglishLanguage
InternetConnection
"internet connection")
Hotel.kif 1390-1390
Wireless internet
is a
subclass
of
internet connection
consequent
(=>
(
and
(
connectsEngineeringComponents
?CONN ?DEVICE ?AP)
(
instance
?AP
InternetAccessPoint
))
(
instance
?CONN
InternetConnection
))
Hotel.kif 1392-1396
If
an engineering connection
connect
s
an engineering component
and
another engineering component
and
the other engineering component
is an
instance
of
internet access point
,
then
the engineering connection
is an
instance
of
internet connection
(=>
(
instance
?X
BusinessCenter
)
(
modalAttribute
(
exists
(?IC)
(
and
(
instance
?IC
InternetConnection
)
(
located
?IC ?X)))
Likely
))
Hotel.kif 1678-1684
If
an entity
is an
instance
of
business center
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
internet connection
and
the other entity
is
located
at
the entity
has the
modal
force
of
likely
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