No TPTP formula. May not be expressible in strict first order.	Merge.kif 15219-15221	If a corpuscular object is an instance of gland, then the corpuscular object is made of epithelial tissue
No TPTP formula. May not be expressible in strict first order.	engineering.kif 855-860	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 corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25189-25195	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.	Food.kif 2615-2617	If a corpuscular object is an instance of ketchup, then the corpuscular object is made of tomato
No TPTP formula. May not be expressible in strict first order.	Food.kif 1393-1397	If a corpuscular object is an instance of latte, 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.	Food.kif 2644-2646	If a corpuscular object is an instance of liqueur, then the corpuscular object is made of sugar
No TPTP formula. May not be expressible in strict first order.	Food.kif 1423-1427	If a corpuscular object is an instance of long black, then the corpuscular object is made of espresso and the corpuscular object is made of potable water
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2461-2463	If a corpuscular object is an instance of lead acid battery, then the corpuscular object is made of chemical acid
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2457-2459	If a corpuscular object is an instance of lead acid battery, then the corpuscular object is made of lead
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2465-2467	If a corpuscular object is an instance of lead acid battery, then the corpuscular object is made of purified water
No TPTP formula. May not be expressible in strict first order.	Food.kif 2664-2668	If a corpuscular object is an instance of mayonnaise, then the corpuscular object is made of oil and the corpuscular object is made of egg yolk
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15231-15233	If an entity is an instance of muscle, then muscle is made of muscle tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15244-15246	If a corpuscular object is an instance of nerve cell, then the corpuscular object is made of nervous tissue
No TPTP formula. May not be expressible in strict first order.	Food.kif 2708-2710	If a corpuscular object is an instance of omelette, then the corpuscular object is made of egg
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6186-6191	If a corpuscular object is an instance of opium, then there exists a kind of substance such that a kind of substance is an instance of morphine and the corpuscular object is made of the kind of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	If a corpuscular object is an instance of corpuscular object, then there exist a kind of substance and another kind of substance such that a kind of substance is a subclass of substance and another kind of substance is a subclass of substance and the corpuscular object is made of the kind of substance and the corpuscular object is made of the other kind of substance and the kind of substance is not equal to the other kind of substance
No TPTP formula. May not be expressible in strict first order.	Media.kif 1139-1141	If a corpuscular object is an instance of optical disc, then the corpuscular object is made of plastic
No TPTP formula. May not be expressible in strict first order.	Media.kif 1143-1147	If a corpuscular object is an instance of optical disc, then the corpuscular object is made of gold or the corpuscular object is made of aluminum
No TPTP formula. May not be expressible in strict first order.	Food.kif 2744-2746	If a corpuscular object is an instance of pasta, then the corpuscular object is made of wheat flour
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	If a physical is an instance of planer, then the physical has the purpose 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 cutting and the physical is an instrument for the entity and the other entity is a resource for the entity and the other entity is an instance of object and wood is made of the other entity and the third entity is a result of the entity and the third entity is an instance of object and the third entity is made of wood and flat is an attribute of the third entity and the fourth entity is an instance of unit of length and the height of the other entity is the fifth entity the fourth entity(s) and the height of the third entity is the sixth entity the fourth entity(s) and the fifth entity is greater than the sixth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4722-4724	If a corpuscular object is an instance of Rover v8, then the corpuscular object is made of aluminum
No TPTP formula. May not be expressible in strict first order.	Food.kif 3444-3446	If a corpuscular object is an instance of sorbet, then the corpuscular object is made of potable water
No TPTP formula. May not be expressible in strict first order.	Food.kif 3448-3450	If a corpuscular object is an instance of sorbet, then the corpuscular object is made of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 3452-3454	If a corpuscular object is an instance of sorbet, then the corpuscular object is made of sugar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3655-3657	If a corpuscular object is an instance of string, then the corpuscular object is made of fabric
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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