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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Machine
Machine(machine)BWR, CAT_scanner, Cockcroft-Walton_accelerator, Cockcroft-Walton_voltage_multiplier, Cockcroft_and_Walton_accelerator, Cockcroft_and_Walton_voltage_multiplier, Dictaphone, Intelnet, Jarvik_artificial_heart, Jarvik_heart, Linotype, Linotype_machine, Photostat, Photostat_machine, Roneo, Roneograph, Turing_machine, Van_de_Graaff_generator, Wankel_engine, Wankel_rotary_engine, Wimshurst_machine, Winchester_drive, X-ray_machine, Xerox, Xerox_machine, Zamboni, acoustic_modem, adder, aircraft_engine, analog-digital_converter, analog-to-digital_converter, android, atherodyde, athodyd, automat, automatic, automatic_pilot, automatonlike, autopilot, backup_system, barograph, bbs, bench_lathe, binder, black_box, boiling_water_reactor, booster, booster_amplifier, booster_station, breeder_reactor...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3634-3635
No TPTP formula. May not be expressible in strict first order. Merge.kif 15760-15762
No TPTP formula. May not be expressible in strict first order. Merge.kif 15759-15759 Machine is a subclass of device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3663-3663 Furniture is disjoint from machine
No TPTP formula. May not be expressible in strict first order. Economy.kif 1795-1795 Machine is an industry product type of machinery manufacturing
No TPTP formula. May not be expressible in strict first order. Cars.kif 2045-2045 Air conditioning condenser is a subclass of machine
No TPTP formula. May not be expressible in strict first order. Cars.kif 2069-2069 Air conditioning evaporator is a subclass of machine
No TPTP formula. May not be expressible in strict first order. Cars.kif 5171-5171 Compressor is a subclass of machine
No TPTP formula. May not be expressible in strict first order. Cars.kif 1190-1190 Generator is a subclass of machine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24865-24865 Ice machine is a subclass of machine
No TPTP formula. May not be expressible in strict first order. Economy.kif 5029-5029 Lathe is a subclass of machine
No TPTP formula. May not be expressible in strict first order. Economy.kif 5054-5054 Planer is a subclass of machine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1909-1909 Vending machine is a subclass of machine
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1060-1060
No TPTP formula. May not be expressible in strict first order. english_format.kif 1331-1331

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15791-15799
No TPTP formula. May not be expressible in strict first order. Merge.kif 15764-15772

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1379-1384
No TPTP formula. May not be expressible in strict first order. naics.kif 5126-5150
No TPTP formula. May not be expressible in strict first order. naics.kif 5421-5443
No TPTP formula. May not be expressible in strict first order. naics.kif 4644-4660
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28858-28860


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