Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
WireCoil
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 3039-3041
(
subclass
WireCoil
Wire
)
Cars.kif 3037-3037
Wire coil
is a
subclass
of
wire
appearance as argument number 2
(
termFormat
EnglishLanguage
WireCoil
"wire coil")
Cars.kif 3038-3038
appearance as argument number 3
(
domain
coilCount
1
WireCoil
)
Cars.kif 3087-3087
The number 1 argument of
coilCount
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 3070-3084
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 number
(s) holds
during
the time position
,
then the
measure
of
the other wire coil
is
volt
another number
(s) holds
during
the time position
and
the other number
is
equal
to
the number
and
the other integer
and
the integer
(=>
(
instance
?WC
WireCoil
)
(
exists
(?P)
(
and
(
part
?P ?WC)
(
attribute
?P
ClosedTwoDimensionalFigure
))))
Cars.kif 3047-3052
If
an object
is an
instance
of
wire coil
,
then there exists
another object
such that
the other object
is a
part
of
the object
and
closed two dimensional figure
is an
attribute
of
the other object
(=>
(
instance
?WC
WireCoil
)
(
material
ConductorSubstance
?WC))
Cars.kif 3043-3045
If
a corpuscular object
is an
instance
of
wire coil
,
then
conductor substance
is
made
of
the corpuscular object
consequent
(=>
(
instance
?ET
ElectricalTransformer
)
(
exists
(?WC1 ?WC2)
(
and
(
instance
?WC1
WireCoil
)
(
instance
?WC2
WireCoil
)
(
part
?WC1 ?ET)
(
part
?WC2 ?ET))))
Cars.kif 3061-3068
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 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