Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| piece |
| appearance as argument number 1 |
|
| (subrelation piece part) | Merge.kif 958-958 | piece is a subrelation of part |
| (instance piece BinaryPredicate) | Merge.kif 959-959 | piece is an instance of binary predicate |
| (domain piece 1 Substance) | Merge.kif 960-960 | The number 1 argument of piece is an instance of substance |
| (domain piece 2 Substance) | Merge.kif 961-961 | The number 2 argument of piece is an instance of substance |
| (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 963-965 | The number 2 argument of piece is an instance of substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (piece ?SUBSTANCE1 ?SUBSTANCE2) (forall (?CLASS) (=> (instance ?SUBSTANCE1 ?CLASS) (instance ?SUBSTANCE2 ?CLASS)))) |
Merge.kif 967-972 | If X is a piece of Y, then For all Class Z: if X is an instance of Z, then Y is an instance of Z |
| (=> (and (subclass ?OBJECTTYPE Substance) (instance ?OBJECT ?OBJECTTYPE) (piece ?PART ?OBJECT)) (instance ?PART ?OBJECTTYPE)) |
Merge.kif 1126-1131 | If X is a subclass of substance, Y is an instance of X, and Z is a piece of Y, then Z is an instance of X |
| (=> (and (instance ?OBJ Substance) (attribute ?OBJ ?ATTR) (piece ?PART ?OBJ)) (attribute ?PART ?ATTR)) |
Merge.kif 1133-1138 | If X is an instance of substance, Y is an attribute of X, and Z is a piece of X, then Y is an attribute of Z |
| (=> (and (instance ?MIXTURE Mixture) (piece ?SUBSTANCE ?MIXTURE) (not (instance ?SUBSTANCE Mixture))) (instance ?SUBSTANCE PureSubstance)) |
Merge.kif 1273-1278 | If X is an instance of mixture, Y is a piece of X, and Y is not an instance of mixture, then Y is an instance of pure substance |
| (=> (and (instance ?F Food) (attribute ?F DecafAttribute) (piece ?C ?F) (instance ?C Caffeine)) (exists (?R) (and (instance ?R Removing) (destination ?R ?F) (patient ?R ?C)))) |
Food.kif 401-411 | If X is an instance of food, decaf is an attribute of X, Y is a piece of X, and Y is an instance of caffeine, then there exists Z such that Z is an instance of removing, Z ends up at X, and Y is a patient of Z |
| (=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME))) |
Geography.kif 6455-6459 | If the measure of the flow of X is Y per Z and W is a piece of X, then W is a piece of Y per Z |
| (=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed))) |
Geography.kif 6461-6465 | If the measure of the flow of X is Y knot unit of speed(s) and Z is a piece of X, then Z is a piece of Y knot unit of speed(s) |
| (=> (and (measure (FlowFn ?FLUID) (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION)) (piece ?PART ?FLUID)) (measure ?PART (VelocityFn ?LENGTH ?TIME ?REGION ?DIRECTION))) |
Geography.kif 6467-6471 | If the measure of the flow of X is Y per Z in W in the direction V and U is a piece of X, then the measure of U is Y per Z in W in the direction V |
| consequent |
|
|
| (=> (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 1263-1271 | If X is an instance of mixture, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of pure substance (3) Z is an instance of pure substance (4) equal Y (5) Z (6) Y is a piece of X (7) Z is a piece of X |
| (=> (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))) |
Mid-level-ontology.kif 23809-23821 | If X is an instance of substance and insoluble is an attribute of X, then the statement there don't exist Y, Z such that Y is an instance of substance, Z is an instance of solution, X is a piece of Z, and Y is a piece of Z doesn't have the modal force of possibility |
| (=> (and (instance ?F Food) (attribute ?F CaffeinatedAttribute)) (exists (?CAF) (and (instance ?CAF Caffeine) (piece ?CAF ?F)))) |
Food.kif 387-394 | If X is an instance of food and caffeinated is an attribute of X, then there exists Y such that Y is an instance of caffeine and Y is a piece of X |
| (=> (and (attribute ?F DecafAttribute) (instance ?F Food)) (not (exists (?C) (and (instance ?C Caffeine) (piece ?C ?F))))) |
Food.kif 413-421 | If decaf is an attribute of X and X is an instance of food, then there doesn't exist Y such that Y is an instance of caffeine and Y is a piece of X |
| (=> (and (instance ?C Curdling) (patient ?C ?X) (instance ?X Colloid)) (exists (?S ?A) (and (instance ?S Separating) (subProcess ?S ?C) (patient ?S ?X) (result ?S ?A) (piece ?A ?X) (instance ?A Substance)))) |
Food.kif 3229-3241 | If X is an instance of curdling, Y is a patient of X, and Y is an instance of colloid, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of separating (3) Z is a subprocess of X (4) Y is a patient of Z (5) W is a result of Z (6) W is a piece of Y (7) W is an instance of 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 5844-5857 | If X is an instance of loam, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of clay (3) Y is a piece of X (4) W is an instance of gravel (5) W is a piece of X (6) Z is an instance of sand (7) Z is a piece of X (8) V is an instance of silt (9) V is a piece of X (10) U is an instance of body substance (11) U is a piece of X |
| (=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME))) |
Geography.kif 6455-6459 | If the measure of the flow of X is Y per Z and W is a piece of X, then W is a piece of Y per Z |
| (=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed))) |
Geography.kif 6461-6465 | If the measure of the flow of X is Y knot unit of speed(s) and Z is a piece of X, then Z is a piece of Y knot unit of speed(s) |
| (=> (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 8987-8998 | If X is an instance of substance and soluble is an attribute of X, then the statement there exist Y, Z such that Y is an instance of substance, Z is an instance of solution, X is a piece of Z, and Y is a piece of Z has the modal force of possibility |
| (=> (bloodVolume ?H ?V) (exists (?B) (and (instance ?B Blood) (contains ?H ?B) (instance ?H Human) (measure ?B ?V) (not (exists (?B2) (and (instance ?B2 Blood) (contains ?H ?B2) (not (piece ?B2 ?B)))))))) |
Medicine.kif 5929-5943 | If X has Y of blood, then All of the following hold: (1) there exists Z such that Z is an instance of blood (2) X contains Z (3) X is an instance of human (4) the measure of Z is Y (5) there doesn't exist W such that W is an instance of blood (6) X contains W (7) W is not a piece of Z |
| (=> (instance ?AIR Air) (piece ?AIR EarthsAtmosphere)) |
Weather.kif 37-39 | If X is an instance of air, then X is a piece of earths atmosphere |
|