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

(documentation piece ChineseLanguage "这是对 Substance 某些部分的一个专业常识概念。类似的同意词有：块、大块、小块等。可参考比较 part 的另外一个子关系 component 。")	chinese_format.kif 1576-1577
(documentation piece EnglishLanguage "A specialized common sense notion of part for arbitrary parts of Substances. Quasi-synonyms are: chunk, hunk, bit, etc. Compare component, another subrelation of part.")	Merge.kif 903-905
(domain piece 1 Substance)	Merge.kif 900-900	The number 1 argument of piece is an instance of substance
(domain piece 2 Substance)	Merge.kif 901-901	The number 2 argument of piece is an instance of substance
(instance piece BinaryPredicate)	Merge.kif 899-899	piece is an instance of binary predicate
(subrelation piece part)	Merge.kif 898-898	piece is a subrelation of part

appearance as argument number 2

(format ChineseLanguage piece "%1 %n 是 %2 的 piece")	chinese_format.kif 169-169
(format EnglishLanguage piece "%1 is %n a piece of %2")	english_format.kif 173-173
(termFormat ChineseLanguage piece "块")	chinese_format.kif 170-170
(termFormat ChineseLanguage piece "片")	domainEnglishFormat.kif 45697-45697
(termFormat ChineseTraditionalLanguage piece "片")	domainEnglishFormat.kif 45696-45696
(termFormat EnglishLanguage piece "piece")	domainEnglishFormat.kif 45695-45695

antecedent

(=> (and (instance ?MIXTURE Mixture) (piece ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance))	Merge.kif 1119-1124	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
(=> (and (instance ?OBJ Substance) (attribute ?OBJ ?ATTR) (piece ?PART ?OBJ)) (attribute ?PART ?ATTR))	Merge.kif 979-984	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
(=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed)))	Geography.kif 4591-4595	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)
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME)))	Geography.kif 4585-4589	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
(=> (and (measure (FlowFn ?FLUID) (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)) (piece ?PART ?FLUID)) (measure ?PART (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)))	Geography.kif 4597-4601	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
(=> (and (subclass ?OBJECTTYPE Substance) (instance ?OBJECT ?OBJECTTYPE) (piece ?PART ?OBJECT)) (instance ?PART ?OBJECTTYPE))	Merge.kif 972-977	If a set or class is a subclass of substance and a substance is an instance of the set or class and another substance is a piece of the substance, then the other substance is an instance of the set or class
(=> (piece ?SUBSTANCE1 ?SUBSTANCE2) (forall (?CLASS) (=> (instance ?SUBSTANCE1 ?CLASS) (instance ?SUBSTANCE2 ?CLASS))))	Merge.kif 907-912	If a substance is a piece of another substance, then for all a set or class if the substance is an instance of the set or class, then the other substance is an instance of the set or class

consequent

(=> (and (instance ?X Substance) (attribute ?X Insoluble)) (not (modalAttribute (exists (?Y ?Z) (and (instance ?Y Substance) (instance ?Z Solution) (piece ?X ?Z) (piece ?Y ?Z))) Possibility)))	Geography.kif 6718-6730	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
(=> (and (instance ?X Substance) (attribute ?X Soluble)) (modalAttribute (exists (?Y ?Z) (and (instance ?Y Substance) (instance ?Z Solution) (piece ?X ?Z) (piece ?Y ?Z))) Possibility))	Geography.kif 6690-6701	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
(=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed)))	Geography.kif 4591-4595	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)
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME)))	Geography.kif 4585-4589	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
(=> (instance ?AIR Air) (piece ?AIR EarthsAtmosphere))	Weather.kif 37-39	If a substance is an instance of air, then the substance is a piece of earths atmosphere
(=> (instance ?Loam Loam) (exists (?Clay ?Sand ?Gravel ?Silt ?Organic) (and (instance ?Clay Clay) (piece ?Clay ?Loam) (instance ?Gravel Gravel) (piece ?Gravel ?Loam) (instance ?Sand Sand) (piece ?Sand ?Loam) (instance ?Silt Silt) (piece ?Silt ?Loam) (instance ?Organic BodySubstance) (piece ?Organic ?Loam))))	Geography.kif 4119-4132	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
(=> (instance ?MIXTURE Mixture) (exists (?PURE1 ?PURE2) (and (instance ?PURE1 PureSubstance) (instance ?PURE2 PureSubstance) (not (equal ?PURE1 ?PURE2)) (piece ?PURE1 ?MIXTURE) (piece ?PURE2 ?MIXTURE))))	Merge.kif 1109-1117	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners