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 930-934
No TPTP formula. May not be expressible in strict first order.	Merge.kif 928-928	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 927-927	The number 1 argument of material is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 926-926	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.	Food.kif 46-46	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 36369-36369
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36368-36368

antecedent

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

Cars.kif 1713-1729

If a corpuscular object is an instance of exhaust and fuel is made of the corpuscular object 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 purpose there exists an entity such that the entity is an instance of combustion 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 2

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2717-2735	If a collection is an instance of organization and paper manufacturing is an attribute of the collection, then there exist a process and an agent such that the agent is a member of the collection and the agent is an agent of the process and there exist a kind of substance, the agent2 and the process2 such that the process is an instance of manufacture and a kind of substance is an instance of paper or the kind of substance is made of paper and the kind of substance is a patient of the process and the agent2 is a member of the collection and the process2 is an instance of selling and the agent2 is an agent of the process2 and the kind of substance is a patient of the process2
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 an object such that the object is a member of the collection and the agent is an agent of the object and there exist a kind of substance, the object2 and the agent2 such that the agent is an instance of manufacture and a kind of substance is an instance of wood or the kind of substance is made of wood and the kind of substance is a patient of the agent and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the kind of substance is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Food.kif 413-417	If a corpuscular object is an instance of Aioli, then Garlic is made of the corpuscular object and olive oil is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23992-23999	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 metal is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Food.kif 462-464	If a corpuscular object is an instance of Bacon, then salt is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5075-5077	If a corpuscular object is an instance of brick, then clay is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1405-1407	If a corpuscular object is an instance of ball bearing, then metal is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4439-4444	If a physical is an instance of iceberg, then there exists an entity such that the entity is an instance of glacier and the physical is made of the entity holds during immediately before the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Food.kif 489-494	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 kind of substance is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Food.kif 505-507	If a corpuscular object is an instance of Cappuccino, then coffee is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Food.kif 501-503	If a corpuscular object is an instance of Cappuccino, then milk is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1003-1005	If a corpuscular object is an instance of Cask, then wood is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Food.kif 519-521	If a corpuscular object is an instance of Chocolate, then cocoa is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 824-829	If a corpuscular object is an instance of ElectricalConductor, then there exists a kind of substance such that a kind of substance is a subclass of conductor substance and the kind of substance is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12600-12602	If a corpuscular object is an instance of holiday card, then paper is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14739-14741	If a corpuscular object is an instance of playing card, then paper is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3569-3571	If a corpuscular object is an instance of candle, then wax is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1684-1689	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 kind of substance is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4403-4405	If a corpuscular object is an instance of chain link, then metal is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4137-4142	If a corpuscular object is an instance of currency coin, then there exists a kind of substance such that a kind of substance is a subclass of metal and the kind of substance is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5712-5714	If a corpuscular object is an instance of cotton fabric, then cotton is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 853-858	If a corpuscular object is an instance of resistor element, then there exists a kind of substance such that a kind of substance is a subclass of insulator substance and the kind of substance is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23117-23123	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 metal is made of the corpuscular object and flat is an attribute of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Food.kif 611-613	If a corpuscular object is an instance of Ketchup, then tomato is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Food.kif 637-639	If a corpuscular object is an instance of Liqueur, then sugar is made of the corpuscular object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: