| appearance as argument number 1 |
|
|
| (subclass Substance SelfConnectedObject) | Merge.kif 1076-1076 | Substance is a subclass of self connected object |
| (partition Substance PureSubstance Mixture) | Merge.kif 1077-1077 | Substance is exhaustively partitioned into pure substance and mixture |
| (partition Substance SyntheticSubstance NaturalSubstance) | Merge.kif 1078-1078 | Substance is exhaustively partitioned into synthetic substance and natural substance |
| (documentation Substance EnglishLanguage "An Object in which every part is similar to every other in every relevant respect. More precisely, something is a Substance when it has only arbitrary pieces as parts - any parts have properties which are similar to those of the whole. Note that a Substance may nonetheless have physical properties that vary. For example, the temperature, chemical constitution, density, etc. may change from one part to another. An example would be a body of water.") | Merge.kif 1080-1086 | Substance is exhaustively partitioned into synthetic substance and natural substance |
| (externalImage Substance "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg") | pictureList.kif 917-917 | Substance is exhaustively partitioned into synthetic substance and natural substance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?S Spark) (exists (?E ?G) (and (instance ?E Electricity) (patient ?S ?E) (instance ?G Substance) (attribute ?G Gas) (eventLocated ?S ?G)))) |
Cars.kif 424-432 | If X is an instance of spark, then there exist Y, Z such that Y is an instance of electricity, Y is a patient of X, Z is an instance of substance, gas is an attribute of Z, and X is located at Z |
| (=> (instance ?H Hydrometer) (hasPurpose ?H (exists (?M ?S) (and (instance ?M Measuring) (instance ?S Substance) (attribute ?S Liquid) (patient ?M ?S) (instrument ?M ?H))))) |
Cars.kif 3127-3136 | If X is an instance of hydrometer, then X has the purpose there exist Y, Z such that Y is an instance of measuring, Z is an instance of substance, liquid is an attribute of Z, Z is a patient of Y, and X is an instrument for Y |
| (=> (instance ?I Inflating) (exists (?G1 ?G2 ?V1 ?V2 ?S ?U) (and (instance ?G1 ?S) (instance ?G2 ?S) (instance ?S Substance) (attribute ?G1 Gas) (attribute ?G2 Gas) (instance ?U UnitOfVolume) (holdsDuring (ImmediatePastFn (WhenFn ?I)) (measure ?G1 (MeasureFn ?V1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (measure ?G2 (MeasureFn ?V2 ?U))) (greaterThan ?V2 ?V1)))) |
Cars.kif 3684-3700 | If X is an instance of inflating, then there exist Y, Z,, , W,, , V,, , U and T such that Y is an instance of U and Z is an instance of U and U is an instance of substance and gas is an attribute of Y and gas is an attribute of Z and T is an instance of unit of volume and the measure of Y is W T(s) holds during immediately before the time of existence of X and the measure of Z is V T(s) holds during immediately after the time of existence of X and V is greater than W |
| (=> (instance ?PW PurifiedWater) (exists (?R ?W ?S) (and (instance ?R Removing) (origin ?R ?W) (instance ?W Water) (patient ?R ?S) (instance ?S Substance) (part ?S ?W) (result ?R ?PW)))) |
Food.kif 248-258 | If X is an instance of purified water, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of removing (3) Y originates at Z (4) Z is an instance of water (5) W is a patient of Y (6) W is an instance of substance (7) W is a part of Z (8) X is a result of Y |
| (=> (instance ?PW PurifiedWater) (not (exists (?S) (and (part ?S ?PW) (instance ?S Substance))))) |
Food.kif 260-266 | If X is an instance of purified water, then there doesn't exist Y such that Y is a part of X and Y is an instance of substance |
| (=> (instance ?S Sauce) (exists (?X) (and (instance ?X Substance) (part ?X ?S) (attribute ?X Liquid)))) |
Food.kif 2074-2080 | If X is an instance of sauce, then there exists Y such that Y is an instance of substance, Y is a part of X, and liquid is an attribute of Y |
| (=> (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 3206-3218 | 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 |
| (=> (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 9007-9018 | 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 |
| (=> (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 9035-9047 | 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 ?LD LiquidDrop) (surface ?S ?LD)) (modalAttribute (exists (?SS ?LL) (and (instance ?LL Substance) (attribute ?LL Liquid) (not (equal ?LD ?LL)) (surface ?SS ?LL) (meetsSpatially ?S ?SS))) Unlikely)) |
Geography.kif 9152-9164 | If X is an instance of liquid drop and Y is a surface of X, then All of the following hold: (1) the statement there exist Z (2) W such that W is an instance of substance (3) liquid is an attribute of W (4) equal X (5) W (6) Z is a surface of W (7) Y meets Z has the modal force of unlikely |
| (=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance)))) |
Merge.kif 1107-1113 | If X is an instance of synthetic substance, then there exists Y such that Y is an instance of intentional process, X is a result of Y, and X is an instance of substance |
| (=> (instance ?OBJ CorpuscularObject) (exists (?SUBSTANCE1 ?SUBSTANCE2) (and (subclass ?SUBSTANCE1 Substance) (subclass ?SUBSTANCE2 Substance) (material ?SUBSTANCE1 ?OBJ) (material ?SUBSTANCE2 ?OBJ) (not (equal ?SUBSTANCE1 ?SUBSTANCE2))))) |
Merge.kif 1266-1274 | If X is an instance of corpuscular object, then All of the following hold: (1) there exist Y (2) Z such that Y is a subclass of substance (3) Z is a subclass of substance (4) X is made of Y (5) X is made of Z (6) equal Y (7) Z |
| (=> (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR)) (instance ?OBJ Substance)) |
Merge.kif 17779-17783 | If X is an instance of physical state and X is an attribute of Y, then Y is an instance of substance |
| (=> (instance ?PD PaintingDevice) (hasPurpose ?PD (exists (?STUFF ?COVER ?SURF ?OBJ) (and (instance ?STUFF Substance) (instance ?COVER Covering) (instance ?OBJ Object) (surface ?SURF ?OBJ) (agent ?COVER ?PD) (instrument ?COVER ?STUFF) (patient ?COVER ?SURF))))) |
Mid-level-ontology.kif 3722-3733 | If X is an instance of painting device, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) Z is an instance of covering (4) V is an instance of object (5) W is a surface of V (6) X is an agent of Z (7) Y is an instrument for Z (8) W is a patient of Z |
| (=> (instance ?S Sieve) (hasPurpose ?S (exists (?REMOVE ?MIX ?SUB ?HOLE ?A) (and (instance ?REMOVE Removing) (instance ?MIX Mixture) (instance ?SUB Substance) (part ?SUB ?MIX) (patient ?REMOVE ?SUB) (part ?HOLE ?S) (instrument ?REMOVE ?HOLE) (instance ?A Human) (agent ?REMOVE ?A) (not (desires ?A ?SUB)))))) |
Mid-level-ontology.kif 4990-5005 | If X is an instance of sieve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of removing (3) Z is an instance of mixture (4) W is an instance of substance (5) W is a part of Z (6) W is a patient of Y (7) V is a part of X (8) V is an instrument for Y (9) U is an instance of human (10) U is an agent of Y (11) U doesn't desire W |
| (=> (instance ?S Strainer) (hasPurpose ?S (exists (?MIX ?SUB ?LIQUID ?REMOVE) (and (instance ?MIX Mixture) (instance ?SUB Substance) (instance ?LIQUID Substance) (part ?SUB ?MIX) (attribute ?SUB Solid) (instance ?REMOVE Removing) (part ?LIQUID ?MIX) (attribute ?LIQUID Liquid) (patient ?REMOVE ?SUB) (result ?REMOVE ?LIQUID) (instrument ?REMOVE ?S))))) |
Mid-level-ontology.kif 5011-5026 | If X is an instance of strainer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of mixture (3) Z is an instance of substance (4) W is an instance of substance (5) Z is a part of Y (6) solid is an attribute of Z (7) V is an instance of removing (8) W is a part of Y (9) liquid is an attribute of W (10) Z is a patient of V (11) W is a result of V (12) X is an instrument for V |
| (=> (instance ?C Colander) (hasPurpose ?C (exists (?MIX ?SUB ?SOLID ?REMOVE) (and (instance ?MIX Mixture) (instance ?SUB Substance) (part ?SUB ?MIX) (attribute ?SUB Liquid) (instance ?REMOVE Removing) (patient ?REMOVE ?SUB) (instance ?SOLID Substance) (part ?SOLID ?MIX) (attribute ?SOLID Solid) (result ?REMOVE ?SOLID) (instrument ?REMOVE ?C))))) |
Mid-level-ontology.kif 5032-5047 | If X is an instance of colander, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of mixture (3) Z is an instance of substance (4) Z is a part of Y (5) liquid is an attribute of Z (6) V is an instance of removing (7) Z is a patient of V (8) W is an instance of substance (9) W is a part of Y (10) solid is an attribute of W (11) W is a result of V (12) X is an instrument for V |
| (=> (instance ?WEAVE Weaving) (hasPurpose ?WEAVE (exists (?SUB ?WARP ?WEFT ?OBJ) (and (instance ?SUB Substance) (attribute ?SUB Pliable) (patient ?WEAVE ?SUB) (part ?WARP ?SUB) (part ?WEFT ?SUB) (not (equal ?WARP ?WEFT)) (orientation ?WARP ?WEFT RightAngle) (result ?WEAVE ?OBJ) (instance ?OBJ Artifact))))) |
Mid-level-ontology.kif 5088-5102 | If X is an instance of weaving, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) pliable is an attribute of Y (4) Y is a patient of X (5) Z is a part of Y (6) W is a part of Y (7) equal Z (8) W (9) Z is at a right angle to to W (10) V is a result of X (11) V is an instance of artifact |
| (=> (instance ?DETERGENT Detergent) (hasPurpose ?DETERGENT (exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT) (and (instance ?REMOVE Removing) (instance ?SUBSTANCE Substance) (patient ?REMOVE ?SUBSTANCE) (origin ?REMOVE ?SURFACE) (surface ?SURFACE ?OBJECT))))) |
Mid-level-ontology.kif 10094-10103 | If X is an instance of detergent, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of removing, Z is an instance of substance, Z is a patient of Y, Y originates at W, and W is a surface of V |
| (=> (instance ?STEM PlantStem) (hasPurpose ?STEM (exists (?TRAN ?ROOT ?SUB) (and (instance ?TRAN Transfer) (instrument ?TRAN ?STEM) (instance ?ROOT PlantRoot) (origin ?TRAN ?ROOT) (instance ?SUB Substance) (attribute ?SUB Fluid) (objectTransferred ?TRAN ?SUB))))) |
Mid-level-ontology.kif 10914-10925 | If X is an instance of plant stem, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Z is an instance of plant root (5) Y originates at Z (6) W is an instance of substance (7) fluid is an attribute of W (8) the object transferred in Y is W |
| (=> (instance ?POUR Pouring) (exists (?LIQUID ?CONTAINER1 ?CONTAINER2) (and (origin ?POUR ?CONTAINER1) (destination ?POUR ?CONTAINER2) (instance ?CONTAINER1 Container) (instance ?CONTAINER2 Container) (not (equal ?CONTAINER1 ?CONTAINER2)) (patient ?POUR ?LIQUID) (attribute ?LIQUID Liquid) (instance ?LIQUID Substance)))) |
Mid-level-ontology.kif 19406-19417 | If X is an instance of pouring, then All of the following hold: (1) there exist Y, Z (2) W such that X originates at Z (3) X ends up at W (4) Z is an instance of container (5) W is an instance of container (6) equal Z (7) W (8) Y is a patient of X (9) liquid is an attribute of Y (10) Y is an instance of substance |
| (=> (instance ?X Emulsion) (exists (?L1 ?L2) (and (instance ?L1 Substance) (instance ?L2 Substance) (attribute ?L1 Liquid) (attribute ?L2 Liquid) (not (equal ?L1 ?L2))))) |
Mid-level-ontology.kif 23910-23919 | If X is an instance of emulsion, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of substance (3) Z is an instance of substance (4) liquid is an attribute of Y (5) liquid is an attribute of Z (6) equal Y (7) Z |
| (=> (instance ?X ChemicalAttack) (exists (?CHEM) (and (instance ?CHEM Substance) (instrument ?X ?CHEM)))) |
Mid-level-ontology.kif 24213-24218 | If X is an instance of chemical attack, then there exists Y such that Y is an instance of substance and Y is an instrument for X |
| (=> (attribute ?G HazardousGases) (and (instance ?G Substance) (attribute ?G Gas) (capability Combustion resource ?G) (capability Damaging resource ?G) (capability Corrosion resource ?G))) |
Transportation.kif 4658-4665 | If hazardous gases is an attribute of X, then X is an instance of substance, gas is an attribute of X, X is capable of doing burning as a resource, X is capable of doing damaging as a resource, and X is capable of doing corrosion as a resource |
| (=> (attribute ?G FlammableLiquid) (and (instance ?G Substance) (attribute ?G Liquid) (attribute ?G Flammable))) |
Transportation.kif 4672-4677 | If flammable liquid is an attribute of X, then X is an instance of substance, liquid is an attribute of X, and flammable is an attribute of X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|