TreeView Knowledge Base Browser - piece

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 929-931
(domain piece 1 Substance)	Merge.kif 926-926	The number 1 argument of piece is an instance of substance
(domain piece 2 Substance)	Merge.kif 927-927	The number 2 argument of piece is an instance of substance
(instance piece BinaryPredicate)	Merge.kif 925-925	piece is an instance of binary predicate
(subrelation piece part)	Merge.kif 924-924	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 170-170
(termFormat ChineseLanguage piece "块")	chinese_format.kif 170-170
(termFormat ChineseLanguage piece "片")	domainEnglishFormat.kif 45781-45781
(termFormat ChineseTraditionalLanguage piece "片")	domainEnglishFormat.kif 45780-45780
(termFormat EnglishLanguage piece "piece")	domainEnglishFormat.kif 45779-45779

antecedent

(=> (and (instance ?MIXTURE Mixture) (piece ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance))	Merge.kif 1152-1157	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 1012-1017	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 4803-4807	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 4797-4801	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 4809-4813	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 1005-1010	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
(=> (piece ?SUBSTANCE1 ?SUBSTANCE2) (forall (?CLASS) (=> (instance ?SUBSTANCE1 ?CLASS) (instance ?SUBSTANCE2 ?CLASS))))	Merge.kif 933-938	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

(=> (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 7068-7080	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 7040-7051	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 4803-4807	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 4797-4801	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 ?C Coffee) (exists (?CAF) (and (instance ?CAF Caffeine) (piece ?CAF ?C))))	Mid-level-ontology.kif 21100-21105	If a substance is an instance of coffee, then there exists the substanceAF such that the substanceAF is an instance of caffeine and the substanceAF is a piece of the substance
(=> (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 4262-4275	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 1142-1150	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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