material - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1581-1583
No TPTP formula. May not be expressible in strict first order.	Merge.kif 991-995
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 157-160
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 184-188
No TPTP formula. May not be expressible in strict first order.	Merge.kif 989-989	The number 2 argument of material is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 988-988	The number 1 argument of material is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 987-987	material is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 151-151
No TPTP formula. May not be expressible in strict first order.	english_format.kif 152-152
No TPTP formula. May not be expressible in strict first order.	french_format.kif 96-96
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 174-174
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1924-1924
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 48-48
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 68-68
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 182-182
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 212-212
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 115-115
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 95-95
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 345-345
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1218-1218	ingredient is a subrelation of material
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 152-152	ingredient is a subrelation of material
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36463-36463	ingredient is a subrelation of material
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36462-36462	ingredient is a subrelation of material
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 56-56	ingredient is a subrelation of material
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 346-346	ingredient is a subrelation of material

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1724-1740	If a corpuscular object is an instance of exhaust and the corpuscular object is made of fuel and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object, then the physical has the purpose there exists an entity such that the entity is an instance of burning and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at the physical
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

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2717-2728	If a collection is an instance of organization and paper manufacturing is an attribute of the collection, then there exist an agent, a process and a corpuscular object such that the agent is an instance of industry and the agent is a member of the collection and the process is an instance of manufacture and the agent is an agent of the process and the corpuscular object is a patient of the process and the corpuscular object is made of paper
No TPTP formula. May not be expressible in strict first order.	naics.kif 2563-2581	If a collection is an instance of organization and wood 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 a corpuscular object, the process2 and the agent2 such that the agent is an instance of manufacture and the corpuscular object is an instance of wood or the corpuscular object is made of wood and the corpuscular object 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 corpuscular object is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10397-10420	If equal a real number pound force(s) and The Janka Hardness of a kind of botanical tree is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27866-27873	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.	Food.kif 2146-2148	If a corpuscular object is an instance of bacon, then the corpuscular object is made of salt
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4945-4947	If a corpuscular object is an instance of basket, then the corpuscular object is made of wicker
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15356-15358	If a corpuscular object is an instance of bone, then the corpuscular object is made of bone tissue
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5209-5211	If a corpuscular object is an instance of brick, then the corpuscular object is made of clay
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.	Geography.kif 4972-4980	If a physical is an instance of iceberg, then there exists a class such that the class is a subclass of glacier and the physical is made of the class holds during immediately before the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Food.kif 2417-2422	If a corpuscular object is an instance of calamari, then there exists a kind of substance such that a kind of substance is the meat of squid and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 1280-1284	If a corpuscular object is an instance of cappuccino, then the corpuscular object is made of milk foam and the corpuscular object is made of espresso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32730-32732	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.	Food.kif 3587-3589	If a corpuscular object is an instance of cask, then the corpuscular object is made of wood
No TPTP formula. May not be expressible in strict first order.	Food.kif 641-643	If a corpuscular object is an instance of coffee, then the corpuscular object is made of potable water
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1139-1144	If a corpuscular object is an instance of electrical conductor, then there exists a kind of substance such that a kind of substance is a subclass of conductor substance 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 16244-16246	If a corpuscular object is an instance of holiday card, then the corpuscular object is made of paper
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18516-18518	If a corpuscular object is an instance of playing card, then the corpuscular object is made of paper
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3489-3491	If a corpuscular object is an instance of candle, then the corpuscular object is made of wax
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1695-1700	If a corpuscular object is an instance of charcoal filter, then there exists a kind of substance such that a kind of substance is a subclass of charcoal and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 2507-2512	If a corpuscular object is an instance of chocolate candy, then the corpuscular object is made of cocoa liquor and the corpuscular object is made of oil and the corpuscular object is made of sugar
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 4043-4048	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.	Geography.kif 4637-4639	If a corpuscular object is an instance of dune, then the corpuscular object is made of sand
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6399-6401	If a corpuscular object is an instance of cotton fabric, then the corpuscular object is made of cotton

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 12669-12669

Involuntary muscle is made of heart

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: