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 - ElectricalOutlet
ElectricalOutlet
(electrical outlet)
electric_outlet
,
electric_receptacle
,
electrical_outlet
,
outlet
,
socket
,
wall_plug
,
wall_socket
appearance as argument number 1
(
documentation
ElectricalOutlet
EnglishLanguage
"
ElectricalOutlet
refers to a
Device
that is used to connect a plug to a power source so that
Electricity
can flow from the source to an
ElectricDevice
")
Mid-level-ontology.kif 27001-27003
(
subclass
ElectricalOutlet
Device
)
Mid-level-ontology.kif 27000-27000
Electrical outlet
is a
subclass
of
device
appearance as argument number 2
(
termFormat
EnglishLanguage
ElectricalOutlet
"electrical outlet")
Mid-level-ontology.kif 27004-27004
antecedent
(=>
(
and
(
instance
?PLUG
ElectricalPlug
)
(
instance
?DEVICE
ElectricDevice
)
(
instance
?OUTLET
ElectricalOutlet
)
(
connectedEngineeringComponents
?DEVICE ?PLUG)
(
completelyFills
?PLUG ?OUTLET)
(
instance
?POWER
PowerSource
)
(
connectedEngineeringComponents
?POWER ?OUTLET))
(
exists
(?RE)
(
and
(
instance
?RE
RadiatingElectromagnetic
)
(
origin
?RE ?POWER)
(
destination
?RE ?DEVICE))))
Mid-level-ontology.kif 27042-27055
If
an engineering component
is an
instance
of
electrical plug
and
another engineering component
is an
instance
of
electric device
and
a hole
is an
instance
of
electrical outlet
and
the other engineering component
is
connected
to
the engineering component
and
the engineering component
completely
fill
s
the hole
and
a third engineering component
is an
instance
of
power source
and
the third engineering component
is
connected
to
the hole
,
then there exists
a process
such that
the process
is an
instance
of
radiating electromagnetic
and
the process
originate
s at
the third engineering component
and
the process
end
s up at
the other engineering component
(=>
(
instance
?X
ElectricalOutlet
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?X))))
Mid-level-ontology.kif 27006-27012
If
an object
is an
instance
of
electrical outlet
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and
hole
is a
member
type of
the collection
and
the collection
is a
part
of
the object
(=>
(
instance
?X
ElectricalOutlet
)
(
hasPurpose
?X
(
exists
(?POWER ?WIRE)
(
and
(
instance
?POWER
PowerSource
)
(
instance
?WIRE
Collection
)
(
memberType
?WIRE
WireLine
)
(
connectsEngineeringComponents
?WIRE ?X ?POWER)))))
Mid-level-ontology.kif 27014-27022
If
a physical
is an
instance
of
electrical outlet
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
power source
and
the other entity
is an
instance
of
collection
and
wire line
is a
member
type of
the other entity
and
the other entity
connect
s
the physical
and
the entity
consequent
(=>
(
instance
?ADAPT
OutletAdapter
)
(
hasPurpose
?ADAPT
(
exists
(?OUTLET ?PLUG)
(
and
(
instance
?PLUG
ElectricalPlug
)
(
instance
?OUTLET
ElectricalOutlet
)
(
completelyFills
?PLUG ?ADAPT)
(
completelyFills
?ADAPT ?OUTLET)
(
connectsEngineeringComponents
?ADAPT ?PLUG ?OUTLET)))))
Mid-level-ontology.kif 27072-27081
If
a physical
is an
instance
of
outlet adapter
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
electrical plug
and
the entity
is an
instance
of
electrical outlet
and
the other entity
completely
fill
s
the physical
and
the physical
completely
fill
s
the entity
and
the physical
connect
s
the other entity
and
the entity
(=>
(
instance
?X
ElectricalPlug
)
(
hasPurpose
?X
(
exists
(?OUTLET)
(
and
(
instance
?OUTLET
ElectricalOutlet
)
(
completelyFills
?X ?OUTLET)))))
Mid-level-ontology.kif 27034-27040
If
a physical
is an
instance
of
electrical plug
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
electrical outlet
and
the physical
completely
fill
s
the entity
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
