TreeView Knowledge Base Browser - Machine

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 15788-15790
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15787-15787	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 3672-3672	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 24982-24982	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 1917-1917	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 15819-15827	If an object is an instance of machine, then there exist another object and a third object such that the other object is an instance of engineering component and the third object is an instance of engineering component and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15792-15800	If an object is an instance of machine, then for all a process if the object is an instrument for the process, then there exist another object and an entity such that the other object is a resource for the process and the entity is a result of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1387-1392	If an object is an instance of computer language and an agent is an agent of a process and the object is an instrument for the process, then the agent is an instance of machine
No TPTP formula. May not be expressible in strict first order.	naics.kif 5126-5150	If a collection is an instance of organization and computer and electronic product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of computer or the entity is an instance of machine and there exists the agent3 such that the entity is a patient of the agent3 and an object is a resource for the agent3 and the object is an instance of electricity and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 5421-5443	If a collection is an instance of organization and electrical equipment appliance and component manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of machine and there exists the agent3 such that the entity is a patient of the agent3 and an object is a resource for the agent3 and the object is an instance of electricity and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 4644-4660	If a collection is an instance of organization and machinery manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of machine and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28974-28976	If CoinOperated is an attribute of an object, then the object is an instance of machine

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