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 - WireCoil
WireCoil
(wire coil)
primary
,
primary_coil
,
primary_winding
,
secondary
,
secondary_coil
,
secondary_winding
,
spark_coil
appearance as argument number 1
(
documentation
WireCoil
EnglishLanguage
"A length of
Wire
wound in a set of
Circle
s or
Polygon
s, intended to conduct
Electricity
, and often used in the construction of
ElectricalTransformer
s.")
Cars.kif 3123-3125
(
subclass
WireCoil
Wire
)
Cars.kif 3121-3121
Wire coil
is a
subclass
of
wire
appearance as argument number 2
(
termFormat
EnglishLanguage
WireCoil
"wire coil")
Cars.kif 3122-3122
appearance as argument number 3
(
domain
coilCount
1
WireCoil
)
Cars.kif 3172-3172
The number 1 argument of
coil count
is an
instance
of
wire coil
antecedent
(=>
(
and
(
instance
?T
ElectricalTransformer
)
(
instance
?WC1
WireCoil
)
(
instance
?WC2
WireCoil
)
(
coilCount
?WC1 ?N1)
(
coilCount
?WC2 ?N2)
(
holdsDuring
?T
(
measure
?WC1
(
MeasureFn
Volt
?V1))))
(
and
(
holdsDuring
?T
(
measure
?WC2
(
MeasureFn
Volt
?V2)))
(
equal
?V2
(
MultiplicationFn
?V1
(
DivisionFn
?N2 ?N1)))))
Cars.kif 3155-3169
If
a time position
is an
instance
of
transformer
and
a wire coil
is an
instance
of
wire coil
and
another wire coil
is an
instance
of
wire coil
and the number of coils in
the wire coil
is
an integer
and the number of coils in
the other wire coil
is
another integer
and the
measure
of
the wire coil
is
volt
a real number
(s) holds
during
the time position
,
then the
measure
of
the other wire coil
is
volt
another real number
(s) holds
during
the time position
and
the other real number
is
equal
to
the real number
and
the other integer
and
the integer
(=>
(
instance
?WC
WireCoil
)
(
exists
(?P ?C)
(
and
(
part
?P ?WC)
(
attribute
?P ?C)
(
instance
?C
ClosedTwoDimensionalFigure
))))
Cars.kif 3131-3137
If
an object
is an
instance
of
wire coil
,
then there exist
another object
and
an attribute
such that
the other object
is a
part
of
the object
and
the attribute
is an
attribute
of
the other object
and
the attribute
is an
instance
of
closed two dimensional figure
(=>
(
instance
?WC
WireCoil
)
(
material
ConductorSubstance
?WC))
Cars.kif 3127-3129
If
a corpuscular object
is an
instance
of
wire coil
,
then
the corpuscular object
is
made
of
conductor substance
consequent
(=>
(
instance
?ET
ElectricalTransformer
)
(
exists
(?WC1 ?WC2)
(
and
(
instance
?WC1
WireCoil
)
(
instance
?WC2
WireCoil
)
(
part
?WC1 ?ET)
(
part
?WC2 ?ET))))
Cars.kif 3146-3153
If
an object
is an
instance
of
transformer
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
wire coil
and
the third object
is an
instance
of
wire coil
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
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