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 15910-15911
No TPTP formula. May not be expressible in strict first order. Merge.kif 15909-15909 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 1854-1854 Aerator is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2706-2706 Animal controller is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2734-2734 Animal powered device is a subclass of device
No TPTP formula. May not be expressible in strict first order. Merge.kif 15982-15982 Attaching device is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26161-26161 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 3507-3507 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 2822-2822 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 1892-1892 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 13285-13285 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 30686-30686 Karabiner is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15005-15005 Chimney is a subclass of device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5560-5560 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 2232-2232 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 17832-17832 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 1359-1359 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 24254-24254 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 3618-3618 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 3646-3646 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 3671-3671 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 3696-3696 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 1706-1706 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 826-826 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 24239-24239 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 1365-1371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29980-29988
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1714-1718
No TPTP formula. May not be expressible in strict first order. Merge.kif 15913-15916
No TPTP formula. May not be expressible in strict first order. Merge.kif 15918-15925

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1805-1809
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 17839-17843
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1055-1059
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1079-1083
No TPTP formula. May not be expressible in strict first order. Merge.kif 16036-16041
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2727-2732
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 26803-26812
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 1123-1133


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