Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Device
Device(device)ATM, Abbe_condenser, Abney_level, Allen_wrench, Amsler_grid, Aqua-Lung, Bailey_bridge, Beckman_thermometer, Bermuda_rig, Bermudan_rig, Bermudian_rig, Bessemer_converter, Blackwall_hitch, CD_burner, Cassegrainian_telescope, Coffey_still, Cottrell_precipitator, Crock_Pot, Crookes_radiometer, Crookes_tube, DSL, Davy_lamp, Dayton_ax, Dayton_axe, Dewar, Dewar_flask, Dumpy_level, Dutch_hoe, EDS, ETD, Elastoplast, FAE, Ferris_wheel, Fresnel_lens, GPS, G_suit, Galilean_telescope, Geiger-Muller_counter, Geiger-Muller_tube, Geiger_counter, Geiger_tube, Global_Positioning_System, Gregorian_telescope, Herschelian_telescope, Hollerith_card, I.E.D., IED, IOL, Indian_club, Jacob's_ladder...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3618-3619
No TPTP formula. May not be expressible in strict first order. Merge.kif 15671-15672
No TPTP formula. May not be expressible in strict first order. Merge.kif 15670-15670 Device is a subclass of artifact

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1841-1841 Aerator is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2693-2693 Animal controller is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2721-2721 Animal powered device is a subclass of device
No TPTP formula. May not be expressible in strict first order. Merge.kif 15743-15743 Attaching device is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25635-25635 Audio recorder is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 2613-2613 Muffler is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3491-3491 Axle is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 1404-1404 Ball bearing is a subclass of device
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2015-2015 Barricade is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2805-2805 Baton is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 538-538 Brake is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 672-672 BrakeCaliper is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 666-666 BrakeDrum is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 677-677 Brake pedal is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 660-660 BrakeRotor is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1879-1879 Brush or comb is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 1634-1634 Cam is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12778-12778 Camera is a subclass of device
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3079-3079 Canal lock gate is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30187-30187 Karabiner is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14502-14502 Chimney is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5284-5284 Cleaning device is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 1808-1808 Clutch is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 1695-1695 Combustion chamber is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2219-2219 Compass is a subclass of device

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17300-17300 The number 1 argument of operating is an instance of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1348-1348 The number 1 argument of effective range is an instance of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23706-23706 The number 2 argument of equipment type is an instance of device
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3583-3583 The number 1 argument of maximum device operating temperature is an instance of device
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3611-3611 The number 1 argument of maximum device storage temperature is an instance of device
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3636-3636 The number 1 argument of minimum device operating temperature is an instance of device
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3661-3661 The number 1 argument of minimum device storage temperature is an instance of device
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1709-1709 The number 1 argument of power component is an instance of device
No TPTP formula. May not be expressible in strict first order. Music.kif 824-824 The number 1 argument of PlayingInstrumentFn is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23691-23691 The number 2 argument of equipment count is a subclass of device

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1343-1349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29481-29489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1701-1705
No TPTP formula. May not be expressible in strict first order. Merge.kif 15674-15677
No TPTP formula. May not be expressible in strict first order. Merge.kif 15679-15686

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1792-1796
No TPTP formula. May not be expressible in strict first order. Cars.kif 2930-2948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17307-17311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1044-1048
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1068-1072
No TPTP formula. May not be expressible in strict first order. Merge.kif 15797-15802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2714-2719
No TPTP formula. May not be expressible in strict first order. Weather.kif 1731-1741
No TPTP formula. May not be expressible in strict first order. Music.kif 36-47
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26274-26283
No TPTP formula. May not be expressible in strict first order. Communications.kif 258-284
No TPTP formula. May not be expressible in strict first order. engineering.kif 1120-1130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1695-1699


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