Machine - Sigma Knowledge base Browser

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 16114-16116
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11412-11412
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16113-16113	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 3704-3704	Furniture is disjoint from machine
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1784-1784	Machine is an industry product type of machinery manufacturing
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2028-2028	Air conditioning condenser is a subclass of machine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2052-2052	Air conditioning evaporator is a subclass of machine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5153-5153	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 25568-25568	Ice machine is a subclass of machine
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5986-5986	Lathe is a subclass of machine
No TPTP formula. May not be expressible in strict first order.	engineering.kif 742-742	Motor is a subclass of machine
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6013-6013	Planer is a subclass of machine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1947-1947	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
No TPTP formula. May not be expressible in strict first order.	french_format.kif 738-738
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 269-269
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 272-272
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2422-2422
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 690-690
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 274-274
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 308-308
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 759-759
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 273-273

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16145-16153	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 16118-16126	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 1439-1444	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 exist the agent3 and an object such that the entity is a patient of the agent3 and the 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 exist the agent3 and an object such that the entity is a patient of the agent3 and the 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 29521-29523	If coin operated is an attribute of an object, then the object is an instance of machine

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

KB Term:			Term intersection

English Word: