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 16101-16102
No TPTP formula. May not be expressible in strict first order. Merge.kif 16100-16100 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 2345-2345 Aerator is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3197-3197 Animal controller is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3225-3225 Animal powered device is a subclass of device
No TPTP formula. May not be expressible in strict first order. Merge.kif 16173-16173 Attaching device is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28146-28146 Audio recorder is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 2597-2597 Muffler is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3978-3978 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 2172-2172 Barricade is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3313-3313 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 2383-2383 Brush or comb is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 1641-1641 Cam is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14652-14652 Camera is a subclass of device
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3976-3976 Canal lock gate is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32723-32723 Karabiner is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16407-16407 Chimney is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6525-6525 Cleaning device is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 1792-1792 Clutch is a subclass of device
No TPTP formula. May not be expressible in strict first order. Cars.kif 1702-1702 Combustion chamber is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2723-2723 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 19455-19455 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 1604-1604 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 3615-3615 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 3643-3643 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 3668-3668 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 3693-3693 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 2197-2197 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 829-829 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 25974-25974 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 25989-25989 The number 2 argument of equipment type is a subclass of device

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3916-3926
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1376-1382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31973-31981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2205-2209
No TPTP formula. May not be expressible in strict first order. Merge.kif 16104-16107
No TPTP formula. May not be expressible in strict first order. Merge.kif 16109-16116

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2296-2300
No TPTP formula. May not be expressible in strict first order. Cars.kif 2914-2932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19462-19466
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1076-1080
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1100-1104
No TPTP formula. May not be expressible in strict first order. engineering.kif 966-984
No TPTP formula. May not be expressible in strict first order. Merge.kif 16227-16232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3218-3223
No TPTP formula. May not be expressible in strict first order. Weather.kif 2248-2258
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1318-1329
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1331-1342
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 28803-28812
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 1434-1444


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