piece - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - piece

piece

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1576-1577
No TPTP formula. May not be expressible in strict first order.	Merge.kif 954-956
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 150-152
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 175-177
No TPTP formula. May not be expressible in strict first order.	Merge.kif 951-951	The number 1 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 952-952	The number 2 argument of piece is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 950-950	piece is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 949-949	piece is a subrelation of part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 169-169
No TPTP formula. May not be expressible in strict first order.	english_format.kif 170-170
No TPTP formula. May not be expressible in strict first order.	french_format.kif 104-104
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 223-223
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1933-1933
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 56-56
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 66-66
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 209-209
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 261-261
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 123-123
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 105-105
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 415-415
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 170-170
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45798-45798
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45797-45797
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45796-45796
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 65-65

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 425-435	If a substance is an instance of food and decaf is an attribute of the substance and another substance is a piece of the substance and the other substance is an instance of caffeine, then there exists a process such that the process is an instance of removing and the process ends up at the substance and the other substance is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1200-1205	If a substance is an instance of mixture and another substance is a piece of the substance and the other substance is not an instance of mixture, then the other substance is an instance of pure substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1060-1065	If a substance is an instance of substance and an attribute is an attribute of the substance and another substance is a piece of the substance, then the attribute is an attribute of the other substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4905-4909	If the measure of the flow of a substance is a real number knot unit of speed(s) and another substance is a piece of the substance, then the other substance is a piece of the real number knot unit of speed(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	If the measure of the flow of a substance is a length measure per a time duration and another substance is a piece of the substance, then the other substance is a piece of the length measure per the time duration
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4911-4915	If the measure of the flow of a substance is a length measure per a time duration in a region in the direction a directional attribute and another substance is a piece of the substance, then the measure of the other substance is the length measure per the time duration in the region in the direction the directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1053-1058	If a class is a subclass of substance and a substance is an instance of the class and another substance is a piece of the substance, then the other substance is an instance of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 958-963	If a substance is a piece of another substance, then for all a class if the substance is an instance of the class, then the other substance is an instance of the class

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 437-445	If decaf is an attribute of a substance and the substance is an instance of food, then there doesn't exist another substance such that the other substance is an instance of caffeine and the other substance is a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	If a process is an instance of curdling and a substance is a patient of the process and the substance is an instance of colloid, then there exist another process and another substance such that the other process is an instance of separating and the other process is a subprocess of the process and the substance is a patient of the other process and the other substance is a result of the other process and the other substance is a piece of the substance and the other substance is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 411-418	If a substance is an instance of food and caffeinated is an attribute of the substance, then there exists another substance such that the other substance is an instance of caffeine and the other substance is a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7380-7392	If an object is an instance of substance and insoluble is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of substance and the other entity is an instance of solution and the object is a piece of the other entity and the entity is a piece of the other entity doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7352-7363	If an object is an instance of substance and soluble is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of substance and the other entity is an instance of solution and the object is a piece of the other entity and the entity is a piece of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4905-4909	If the measure of the flow of a substance is a real number knot unit of speed(s) and another substance is a piece of the substance, then the other substance is a piece of the real number knot unit of speed(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	If the measure of the flow of a substance is a length measure per a time duration and another substance is a piece of the substance, then the other substance is a piece of the length measure per the time duration
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5897-5912	If a human has a volume measure of blood, then there exists a substance such that the substance is an instance of blood and the human contains the substance and the human is an instance of human and the measure of the substance is the volume measure and there doesn't exist the substance2 such that the substance2 is an instance of blood and the human contains the substance2 and the substance2 is not a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 37-39	If a substance is an instance of air, then the substance is a piece of earths atmosphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4340-4353	If a substance is an instance of loam, then there exist another substance, a third substance,, , a fourth substance,, , a fifth substance and a sixth substance such that the other substance is an instance of clay and the other substance is a piece of the substance and the fourth substance is an instance of gravel and the fourth substance is a piece of the substance and the third substance is an instance of sand and the third substance is a piece of the substance and the fifth substance is an instance of silt and the fifth substance is a piece of the substance and the sixth substance is an instance of body substance and the sixth substance is a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1190-1198	If a substance is an instance of mixture, then there exist another substance and a third substance such that the other substance is an instance of pure substance and the third substance is an instance of pure substance and the other substance is not equal to the third substance and the other substance is a piece of the substance and the third substance is a piece of the substance

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