Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - IgnitionCoil
IgnitionCoil
appearance as argument number 1
(
documentation
IgnitionCoil
EnglishLanguage
"An
ElectricalTransformer
designed to take 12
Volt
power from the
Battery
of an
Automobile
and convert it to the 10,000-50,000 volts required to produce a
Spark
across the
SparkPlug
s.")
Cars.kif 3111-3113
(
subclass
IgnitionCoil
ElectricalTransformer
)
Cars.kif 3109-3109
subclass
IgnitionCoil
and
ElectricalTransformer
(
typicalPart
IgnitionCoil
Automobile
)
Cars.kif 3114-3114
typicalPart
IgnitionCoil
and
Automobile
(
typicallyContainsPart
IgnitionCoil
Automobile
)
Cars.kif 3115-3115
typicallyContainsPart
IgnitionCoil
and
Automobile
appearance as argument number 2
(
termFormat
EnglishLanguage
IgnitionCoil
"ignition coil")
Cars.kif 3110-3110
termFormat
EnglishLanguage
,
IgnitionCoil
and "ignition coil"
antecedent
(=>
(
and
(
instance
?IC
IgnitionCoil
)
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)
(
measure
?E1
(
MeasureFn
Volt
?N1)))
(
approximateValue
?N1 12))
Cars.kif 3129-3139
instance
Object
and
IgnitionCoil
instance
Process
and
ElectricTransmission
resource
Process
and
Object
instance
Object
and
Electricity
instance
Entity
and
Electricity
result
Process
and
Entity
instrument
Process
and
Object
measure
Object
and
MeasureFn
Volt
and
RealNumber
approximateValue
RealNumber
and 12
(=>
(
instance
?IC
IgnitionCoil
)
(
hasPurpose
?IC
(
exists
(?E1 ?E2 ?P)
(
and
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)))))
Cars.kif 3117-3127
instance
Physical
and
IgnitionCoil
hasPurpose
Physical
and
entity
entity
and
entity
instance
entity
and
ElectricTransmission
resource
entity
and
entity
instance
entity
and
Electricity
instance
entity
and
Electricity
result
entity
and
entity
instrument
entity
and
Physical
(=>
(
instance
?IC
IgnitionCoil
)
(
hasPurpose
?IC
(
exists
(?P ?S)
(
and
(
instance
?P
ElectricTransmission
)
(
instrument
?P ?IC)
(
instance
?S
Spark
)
(
causes
?P ?S)))))
Cars.kif 3141-3149
instance
Physical
and
IgnitionCoil
hasPurpose
Physical
and
entity
entity
instance
entity
and
ElectricTransmission
instrument
entity
and
Physical
instance
entity
and
Spark
causes
entity
and
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners