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 981-985
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 979-979	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 978-978	The number 1 argument of material is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 977-977	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 1208-1208	ingredient is a subrelation of material
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 152-152
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36454-36454
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36453-36453
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 56-56
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 346-346

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1717-1733	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 1040-1047	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 25968-25975	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 2139-2141	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 4500-4502	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 15203-15205	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 4753-4755	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 4732-4740	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 2410-2415	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 1279-1283	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 30794-30796	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 3580-3582	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 826-831	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 14871-14873	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 17129-17131	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 3026-3028	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 1688-1693	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 2500-2505	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 4429-4431	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 3600-3605	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 4397-4399	If a kind of substance is an instance of dune, then sand is made of a kind of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5462-5464	If a corpuscular object is an instance of cotton fabric, then the corpuscular object is made of cotton
No TPTP formula. May not be expressible in strict first order.	Food.kif 1343-1347	If a corpuscular object is an instance of flat white, then the corpuscular object is made of milk foam and the corpuscular object is made of espresso

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 11338-11338

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: