TreeView Knowledge Base Browser

appearance as argument number 1

(documentation WireCoil EnglishLanguage "A length of Wire wound in a set of Circles or Polygons, intended to conduct Electricity, and often used in the construction of ElectricalTransformers.")	Cars.kif 3070-3072
(subclass WireCoil Wire)	Cars.kif 3068-3068	WireCoil ist eine teilkategorie von Wire

appearance as argument number 2

(termFormat EnglishLanguage WireCoil "wire coil")

Cars.kif 3069-3069

appearance as argument number 3

(domain coilCount 1 WireCoil)

Cars.kif 3119-3119

Die Zahl 1 Argument von coilCount ist ein fall von WireCoil %n{nicht}

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 3102-3116	Wenn TimePosition ist ein fall von ElectricalTransformer %n{nicht} und WireCoil ist ein fall von WireCoil %n{nicht} und WireCoil ist ein fall von WireCoil %n{nicht} und coilCount WireCoil and Integer und coilCount WireCoil and Integer und das mass von WireCoil ist Volt RealNumber(s) %n{nicht} haelt waehrend TimePosition %n{nicht}, dann das mass von WireCoil ist Volt RealNumber(s) %n{nicht} haelt waehrend TimePosition %n{nicht} und RealNumber ist gleich RealNumber und Integer und ** Integer %n{nicht}
(=> (instance ?WC WireCoil) (exists (?P ?C) (and (part ?P ?WC) (attribute ?P ?C) (instance ?C ClosedTwoDimensionalFigure))))	Cars.kif 3078-3084	Wenn Object ist ein fall von WireCoil %n{nicht}, dann es gibt Object und Attribute um Object ist ein teil von Object %n{nicht} und Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von ClosedTwoDimensionalFigure %n{nicht}
(=> (instance ?WC WireCoil) (material ConductorSubstance ?WC))	Cars.kif 3074-3076	Wenn CorpuscularObject ist ein fall von WireCoil %n{nicht}, dann ConductorSubstance ist von ** CorpuscularObject gebildet

consequent

(=>
    (instance ?ET ElectricalTransformer)
    (exists (?WC1 ?WC2)
        (and
            (instance ?WC1 WireCoil)
            (instance ?WC2 WireCoil)
            (part ?WC1 ?ET)
            (part ?WC2 ?ET))))

Cars.kif 3093-3100

Wenn Object ist ein fall von ElectricalTransformer %n{nicht},
dann es gibt ** Object und ** Object um ** ** Object ist ein fall von WireCoil %n{nicht} und ** ** Object ist ein fall von WireCoil %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht}

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

KB Term:			Term intersection

English Word: