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
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 1738-1740
(
domain
powerComponent
1
Device
)
Mid-level-ontology.kif 1734-1734
Die Zahl 1 Argument von
powerComponent
ist ein
fall
von
Device
%n{nicht}
(
domain
powerComponent
2
Artifact
)
Mid-level-ontology.kif 1735-1735
Die Zahl 2 Argument von
powerComponent
ist ein
fall
von
Artifact
%n{nicht}
(
instance
powerComponent
BinaryPredicate
)
Mid-level-ontology.kif 1733-1733
powerComponent
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
powerComponent
component
)
Mid-level-ontology.kif 1736-1736
powerComponent
ist eine
teilrelation
von
bestandteil
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 47006-47006
(
termFormat
ChineseTraditionalLanguage
powerComponent
"功率元件")
domainEnglishFormat.kif 47005-47005
(
termFormat
EnglishLanguage
powerComponent
"power component")
domainEnglishFormat.kif 47004-47004
antecedent
(=>
(
and
(
powerComponent
?G ?O)
(
instance
?O
Device
))
(
instance
?O
SelfPoweredDevice
))
Mid-level-ontology.kif 1742-1746
Wenn
powerComponent
Device
and
Artifact
und
** Artifact
ist ein
fall
von
Device
%n{nicht},
dann
** Artifact
ist ein
fall
von
SelfPoweredDevice
%n{nicht}
consequent
(=>
(
instance
?DEVICE
SelfPoweredDevice
)
(
exists
(?SOURCE)
(
and
(
instance
?SOURCE
Device
)
(
powerComponent
?SOURCE ?DEVICE))))
Mid-level-ontology.kif 2755-2760
Wenn
Artifact
ist ein
fall
von
SelfPoweredDevice
%n{nicht},
dann es gibt
Device
um
** Device
ist ein
fall
von
Device
%n{nicht} und
powerComponent
** Device
and
** Artifact
(=>
(
instance
?UV
PoweredVehicle
)
(
exists
(?P)
(
powerComponent
?P ?UV)))
Transportation.kif 1798-1801
Wenn
Artifact
ist ein
fall
von
PoweredVehicle
%n{nicht},
dann es gibt
Device
um
powerComponent
** Device
and
** Artifact
(=>
(
instance
?UV
UnpoweredVehicle
)
(
not
(
exists
(?P)
(
powerComponent
?P ?UV))))
Transportation.kif 1787-1791
Wenn
Artifact
ist ein
fall
von
UnpoweredVehicle
%n{nicht},
dann es gibt nicht
Device
um
powerComponent
** Device
and
** Artifact
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