Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
powerComponent
Sigma KEE - powerComponent
powerComponent
appearance as argument number 1
(
documentation
powerComponent
EnglishLanguage
"(
powerComponent
?GENERATOR ?THING) means that the
Device
?GENERATOR is the power source for the
Artifact
?THING.")
Mid-level-ontology.kif 2201-2203
(
domain
powerComponent
1
Device
)
Mid-level-ontology.kif 2197-2197
(
domain
powerComponent
2
Artifact
)
Mid-level-ontology.kif 2198-2198
(
instance
powerComponent
BinaryPredicate
)
Mid-level-ontology.kif 2196-2196
(
subrelation
powerComponent
component
)
Mid-level-ontology.kif 2199-2199
appearance as argument number 2
(
format
ChineseLanguage
powerComponent
"%2 %n 是 %1 的 power 组件")
domainEnglishFormat.kif 2019-2019
(
format
ChineseTraditionalLanguage
powerComponent
"%2 %n 是 %1 的 power 組件")
domainEnglishFormat.kif 2018-2018
(
format
EnglishLanguage
powerComponent
"%2 is %n a power component of %1")
domainEnglishFormat.kif 2017-2017
(
termFormat
ChineseLanguage
powerComponent
"功率元件")
domainEnglishFormat.kif 47008-47008
(
termFormat
ChineseTraditionalLanguage
powerComponent
"功率元件")
domainEnglishFormat.kif 47007-47007
(
termFormat
EnglishLanguage
powerComponent
"power component")
domainEnglishFormat.kif 47006-47006
antecedent
(=>
(
and
(
powerComponent
?G ?O)
(
instance
?O
Device
))
(
instance
?O
SelfPoweredDevice
))
Mid-level-ontology.kif 2205-2209
consequent
(=>
(
instance
?DEVICE
SelfPoweredDevice
)
(
exists
(?SOURCE)
(
and
(
instance
?SOURCE
Device
)
(
powerComponent
?SOURCE ?DEVICE))))
Mid-level-ontology.kif 3218-3223
(=>
(
instance
?UV
PoweredVehicle
)
(
exists
(?P)
(
powerComponent
?P ?UV)))
Transportation.kif 1938-1941
(=>
(
instance
?UV
UnpoweredVehicle
)
(
not
(
exists
(?P)
(
powerComponent
?P ?UV))))
Transportation.kif 1927-1931
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