Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
powerComponent
Sigma KEE - powerComponent
powerComponent
appearance as argument number 1
(
documentation
powerComponent
EnglishLanguage
"(
powerComponent
?GENERATOR ?THING) means that the
Device
?THING is the power source for the
Artifact
?THING.")
Transportation.kif 1713-1715
(
documentation
powerComponent
EnglishLanguage
"(powerComponent ?GENERATOR ?THING) means that the
CorpuscularObject
?GENERATOR is the power-producing component of the
CorpuscularObject
?THING which provides the energy for its operation.")
Mid-level-ontology.kif 1682-1683
(
domain
powerComponent
1
CorpuscularObject
)
Mid-level-ontology.kif 1687-1687
The number 1 argument of
power component
is an
instance
of
corpuscular object
(
domain
powerComponent
1
Device
)
Transportation.kif 1709-1709
The number 1 argument of
power component
is an
instance
of
device
(
domain
powerComponent
2
CorpuscularObject
)
Mid-level-ontology.kif 1688-1688
The number 2 argument of
power component
is an
instance
of
corpuscular object
(
domainSubclass
powerComponent
2
Artifact
)
Transportation.kif 1710-1710
The number 2 argument of
power component
is a
subclass
of
artifact
(
instance
powerComponent
AsymmetricRelation
)
Mid-level-ontology.kif 1685-1685
power component
is an
instance
of
asymmetric relation
(
instance
powerComponent
BinaryPredicate
)
Mid-level-ontology.kif 1684-1684
power component
is an
instance
of
binary predicate
(
instance
powerComponent
IrreflexiveRelation
)
Mid-level-ontology.kif 1686-1686
power component
is an
instance
of
irreflexive relation
(
subrelation
powerComponent
component
)
Mid-level-ontology.kif 1689-1689
power component
is a
subrelation
of
component
appearance as argument number 2
(
format
ChineseLanguage
powerComponent
"%2 %n 是 %1 的 power 组件")
domainEnglishFormat.kif 2015-2015
(
format
ChineseTraditionalLanguage
powerComponent
"%2 %n 是 %1 的 power 組件")
domainEnglishFormat.kif 2014-2014
(
format
EnglishLanguage
powerComponent
"%2 is %n a power component of %1")
domainEnglishFormat.kif 2013-2013
(
termFormat
ChineseLanguage
powerComponent
"功率元件")
domainEnglishFormat.kif 46989-46989
(
termFormat
ChineseTraditionalLanguage
powerComponent
"功率元件")
domainEnglishFormat.kif 46988-46988
(
termFormat
EnglishLanguage
powerComponent
"power component")
domainEnglishFormat.kif 46987-46987
antecedent
(=>
(
and
(
powerComponent
?G ?O)
(
instance
?O
Device
))
(
instance
?O
SelfPoweredDevice
))
Mid-level-ontology.kif 1697-1701
If
a kind of artifact
is a
power
component of
a corpuscular object
and
a kind of artifact
is an
instance
of
device
,
then
the kind of artifact
is an
instance
of
self powered device
(=>
(
powerComponent
?G ?O)
(
and
(
instance
?G
Device
)
(
instance
?O
Artifact
)))
Mid-level-ontology.kif 1691-1695
If
a kind of artifact
is a
power
component of
a corpuscular object
,
then
the corpuscular object
is an
instance
of
device
and
a kind of artifact
is an
instance
of
artifact
consequent
(=>
(
instance
?DEVICE
SelfPoweredDevice
)
(
exists
(?SOURCE)
(
and
(
instance
?SOURCE
Device
)
(
powerComponent
?SOURCE ?DEVICE))))
Mid-level-ontology.kif 2710-2715
If
a kind of artifact
is an
instance
of
self powered device
,
then there exists
a corpuscular object
such that
the corpuscular object
is an
instance
of
device
and
a kind of artifact
is a
power
component of
the corpuscular object
(=>
(
instance
?UV
PoweredVehicle
)
(
exists
(?P)
(
powerComponent
?P ?UV)))
Transportation.kif 1806-1809
If
a kind of artifact
is an
instance
of
powered vehicle
,
then there exists
a corpuscular object
such that
a kind of artifact
is a
power
component of
the corpuscular object
(=>
(
instance
?UV
UnpoweredVehicle
)
(
not
(
exists
(?P)
(
powerComponent
?P ?UV))))
Transportation.kif 1795-1799
If
a kind of artifact
is an
instance
of
unpowered vehicle
,
then there doesn't exist
a corpuscular object
such that
a kind of artifact
is a
power
component of
the corpuscular object
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
powerComponent