lexicon

-------------------------


(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1293-1293
(lexicon ConductorSubstance LexNoun "conductor") engineering.kif 1279-1279
(lexicon CosineFn LexNoun "cos") engineering.kif 140-140
(lexicon CosineFn LexNoun "cosinus") engineering.kif 139-139
(lexicon DamperElement LexNoun "damper") engineering.kif 569-569
(lexicon DcMotor LexNoun "DC motor") engineering.kif 797-797
(lexicon DifferentialAttribute LexAdjective "differential") engineering.kif 219-219
(lexicon Dimensionless LexAdjective "dimensionless {physical dimension}") engineering.kif 106-106
(lexicon Diode LexNoun "diode") engineering.kif 1048-1048
(lexicon DirectionalControlValve LexNoun "{directional control} valve") engineering.kif 955-955
(lexicon Discretization LexNoun "discretization") engineering.kif 1178-1178
(lexicon Discretization LexVerb "discretize") engineering.kif 1179-1179
(lexicon DocumentCategory LexNoun "document category") engineering.kif 1379-1379
(lexicon DoublerSinglePhaseRectifier LexNoun "doubler rectifier") engineering.kif 1028-1028
(lexicon Electrical LexNoun "electrical {physical domain}") engineering.kif 256-256
(lexicon ElectricalEngineeringMethod LexNoun "{electrical engineering} method") engineering.kif 1188-1188
(lexicon ElectricalMotor LexNoun "electrical motor") engineering.kif 792-792
(lexicon ElectricalMotor LexNoun "motor") engineering.kif 791-791
(lexicon ElectricalMultipoleModel LexNoun "electrical circuit") engineering.kif 344-344
(lexicon Emitter LexNoun "emitter") engineering.kif 1077-1077
(lexicon Equation LexNoun "equation") engineering.kif 148-148
(lexicon FetTransistor LexNoun "FET transistor") engineering.kif 1085-1085
(lexicon FileSystem LexNoun "{file system}") engineering.kif 1335-1335
(lexicon FirstOrderDifferentialEquation LexNoun "first-order differential equation") engineering.kif 171-171
(lexicon FluidCylinder LexNoun "cylinder") engineering.kif 902-902

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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