Metal - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Metal

Metal(metal)

24-karat_gold, alkali_metal, alkaline-earth_metal, alkaline_earth, alkaline_metal, alloyed, alum, aluminiferous, ammonia_alum, ammonium_alum, anti-sway_bar, antimonial, argentiferous, auriferous, bar, base, base_metal, blister_copper, brazen, bronze, bullion, calcium_ion, ceric, cerous, chalybeate, cobalt_60, coin_blank, cupric, cuprous, drawbar, factor_IV, fine, gilded, gold, gold-bearing, golden, heavy_metal, mercurial, mercuric, mercurous, metal, metal_filing, metallic, metallic_element, noble_metal, nonmetal, nonmetallic, nugget, pig, planchet...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1603-1605
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1098-1101
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 182-184
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 216-219
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1846-1846
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1179-1179
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1096-1096	Metal is a subclass of elemental substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1913-1913	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 820-820	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	english_format.kif 842-842	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	french_format.kif 496-496	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 29-29	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 32-32	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2181-2181	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 448-448	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 33-33	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 63-63	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 322-322	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 517-517	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 33-33	Metal is an industry product type of metallurgy industry

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4142-4174	If an object is an instance of bi_metal temperature sensor and another object is an instance of metal and a third object is an instance of metal 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 and an entity is an instance of temperature measure and another entity is an instance of temperature measure and a real number is an instance of length measure and another real number is an instance of length measure and a third real number is an instance of length measure and a fourth real number is an instance of length measure and the entity is not equal to the other entity and a time position is not equal to another time position and the measure of the object is the entity and the measure of the other object is the real number and the measure of the third object is the other real number holds during the time position and the measure of the object is the other entity and the measure of the other object is the third real number and the measure of the third object is the fourth real number holds during the other time position, then the real number and the other real number is not equal to the third real number and the fourth real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4272-4281	If an entity is an instance of metal and a process is an instance of oxidating and metal is a patient of the process, then there exists another process such that the other process is an instance of corrosion and the entity is a patient of the other process and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 569-575	If a process is an instance of 3D printing and an object is an instance of metal and the object is a resource for the process and another object is an instrument for the process, then the other object is an instance of metallic 3D printer

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 4225-4241	If a collection is an instance of organization and fabricated metal 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 metal 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 3690-3708	If a collection is an instance of organization and nonmetallic mineral 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 not an instance of metal and the entity is an instance of pure substance 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 3943-3959	If a collection is an instance of organization and primary metal 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 metal 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.	Sports.kif 1054-1061	If a corpuscular object is an instance of ski and the corpuscular object is made of a kind of substance, then a kind of substance is a subclass of metal or the kind of substance is a subclass of wood or the kind of substance is a subclass of plastic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27625-27632	If a corpuscular object is an instance of outlet adapter, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the corpuscular object and the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10142-10150	If an object is an instance of metallic alloy, then there exist another object and a third object such that the other object is an instance of metal and the third object is an instance of metal 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.	Cars.kif 1409-1411	If a corpuscular object is an instance of ball bearing, then the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4131-4140	If an object is an instance of bi_metal temperature sensor, then there exist another object and a third object such that the other object is an instance of metal and the third object is an instance of metal and the other object is a part of the object and the third object is a part of the object and the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32489-32491	If a corpuscular object is an instance of karabiner, then the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4490-4492	If a corpuscular object is an instance of chain link, then the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4062-4067	If a corpuscular object is an instance of coin, then there exists a kind of substance such that a kind of substance is a subclass of metal and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26870-26876	If a self connected object is an instance of iron, then there exists a corpuscular object such that the bottom of the self connected object is the corpuscular object and the corpuscular object is made of metal and flat is an attribute of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6298-6305	If a process is an instance of shrapnel explosion, then there exist an object and a transfer such that the object is an instance of metal and the transfer is an instance of translocation and the process causes the transfer and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6609-6614	If an object is an instance of soldering iron, then there exists a corpuscular object such that the corpuscular object is a part of the object and the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4074-4076	If a corpuscular object is an instance of wire, then the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27592-27594	If a corpuscular object is an instance of electrical plug, then the corpuscular object is made of metal

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