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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Device

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 15940-15941
No TPTP formula. May not be expressible in strict first order. Merge.kif 15939-15939 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 1882-1882 Aerator is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2734-2734 Animal controller is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2762-2762 Animal powered device is a subclass of device
No TPTP formula. May not be expressible in strict first order. Merge.kif 16012-16012 Attaching device is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26245-26245 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 3535-3535 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 2850-2850 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 Brake caliper is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 666-666 Brake drum 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 Brake rotor is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1920-1920 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 13313-13313 Camera is a subclass of device
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3072-3072 Canal lock gate is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30785-30785 Karabiner is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15034-15034 Chimney is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5588-5588 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 2260-2260 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 17884-17884 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 1387-1387 The number 1 argument of effective range is an instance of device
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3620-3620 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 3648-3648 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 3673-3673 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 3698-3698 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. Mid-level-ontology.kif 1734-1734 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 827-827 The number 1 argument of playing instrument fn is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24310-24310 The number 2 argument of equipment count is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24325-24325 The number 2 argument of equipment type is a subclass of device

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1365-1371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30079-30087
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1742-1746
No TPTP formula. May not be expressible in strict first order. Merge.kif 15943-15946
No TPTP formula. May not be expressible in strict first order. Merge.kif 15948-15955

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1833-1837
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 17891-17895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1083-1087
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1107-1111
No TPTP formula. May not be expressible in strict first order. Merge.kif 16066-16071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2755-2760
No TPTP formula. May not be expressible in strict first order. Weather.kif 1732-1742
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 26902-26911
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 1121-1131


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