| Substance
| |
| appearance as argument number 1 |
|
|
| (documentation Substance ChineseLanguage "一个每一部分在各个相关方面跟所有同类都相似的 Object。 更确切而言， Substance是当一个东西的部分只有任意散件时 - 任何部分的特质跟它整体的特质相似时。 这就是。 注：但 Substance 的一些物理特质可能会有差异。例如：温度、化学成分、密度等 可从一个部分改变成 另一个部分。 一滩水就是一个例子。") | chinese_format.kif 1587-1590 | |
| (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 966-972 | |
| (externalImage Substance "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg") | pictureList.kif 918-918 | |
| (partition Substance PureSubstance Mixture) | Merge.kif 963-963 | |
| (partition Substance SyntheticSubstance NaturalSubstance) | Merge.kif 964-964 | |
| (subclass Substance SelfConnectedObject) | Merge.kif 962-962 |
| appearance as argument number 2 |
|
|
| (disjoint CorpuscularObject Substance) | Merge.kif 1129-1129 | |
| (subclass Antifreeze Substance) | Cars.kif 1219-1219 | |
| (subclass Beverage Substance) | Mid-level-ontology.kif 19267-19267 | |
| (subclass BiologicallyActiveSubstance Substance) | Merge.kif 13662-13662 | |
| (subclass BodySubstance Substance) | Merge.kif 13794-13794 | |
| (subclass ChemicalAcid Substance) | Cars.kif 2458-2458 | |
| (subclass ConductorSubstance Substance) | engineering.kif 1279-1279 | |
| (subclass Crystal Substance) | Geography.kif 6638-6638 | |
| (subclass Effluent Substance) | Geography.kif 2626-2626 | |
| (subclass Electricity Substance) | Mid-level-ontology.kif 3021-3021 | |
| (subclass ExplosiveSubstance Substance) | Mid-level-ontology.kif 15542-15542 | |
| (subclass Fuel Substance) | Mid-level-ontology.kif 2105-2105 | |
| (subclass GumArabic Substance) | Economy.kif 4114-4114 | |
| (subclass InsulatorSubstance Substance) | engineering.kif 1284-1284 | |
| (subclass Juice Substance) | Food.kif 591-591 | |
| (subclass LiquidDrop Substance) | Geography.kif 7044-7044 | |
| (subclass Lubricant Substance) | Cars.kif 2950-2950 | |
| (subclass Mineral Substance) | Merge.kif 13311-13311 | |
| (subclass Mixture Substance) | Merge.kif 1103-1103 | |
| (subclass NaturalSubstance Substance) | Merge.kif 1001-1001 | |
| (subclass NoxiousSubstance Substance) | Geography.kif 2724-2724 | |
| (subclass Powder Substance) | Mid-level-ontology.kif 8607-8607 | |
| (subclass PureSubstance Substance) | Merge.kif 1005-1005 | |
| (subclass Rock Substance) | Mid-level-ontology.kif 15633-15633 | |
| (subclass Sugar Substance) | Economy.kif 3829-3829 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domain catalyst 2 Substance) | VirusProteinAndCellPart.kif 210-210 | |
| (domain piece 1 Substance) | Merge.kif 901-901 | |
| (domain piece 2 Substance) | Merge.kif 902-902 | |
| (domain reactant 2 Substance) | Mid-level-ontology.kif 8457-8457 | |
| (domain reagent 2 Substance) | Mid-level-ontology.kif 8465-8465 | |
| (domainSubclass groundSubsurfaceType 2 Substance) | Geography.kif 4124-4124 | |
| (domainSubclass groundSurfaceType 2 Substance) | Geography.kif 4117-4117 | |
| (domainSubclass material 1 Substance) | Merge.kif 928-928 |
| antecedent |
|
|
| (<=> (instance ?OBJ Substance) (exists (?ATTR) (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR)))) |
Merge.kif 16417-16422 | |
| (=> (and (instance ?C Crystal) (attribute ?C MonoCrystalline) (instance ?Sub Substance) (attribute ?Sub Solid) (attribute ?Sub PolyCrystalline) (instance ?S Substance) (surface ?S ?Sub) (not (part ?C ?S))) (exists (?CLNT) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?Sub) (meetsSpatially ?C ?MBR)))))) |
Geography.kif 6670-6690 | |
| (=> (and (instance ?OBJ Substance) (attribute ?OBJ ?ATTR) (piece ?PART ?OBJ)) (attribute ?PART ?ATTR)) |
Merge.kif 981-986 | |
| (=> (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 6908-6920 | |
| (=> (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 6880-6891 | |
| (=> (and (subclass ?OBJECTTYPE Substance) (instance ?OBJECT ?OBJECTTYPE) (piece ?PART ?OBJECT)) (instance ?PART ?OBJECTTYPE)) |
Merge.kif 974-979 |
| consequent |
|
|
| (<=> (instance ?SUBSTANCE SyntheticSubstance) (exists (?PROCESS) (and (instance ?PROCESS IntentionalProcess) (result ?PROCESS ?SUBSTANCE) (instance ?SUBSTANCE Substance)))) |
Merge.kif 993-999 | |
| (=> (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 7053-7065 | |
| (=> (and (instance ?ORG Organization) (attribute ?ORG PipelineTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V) (and (instance ?T Transportation) (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Substance) (possesses ?ORG ?V) (instrument ?T ?PIPE) (instance ?PIPE Pipeline))) ?MEM ?P)))))) |
naics.kif 8388-8411 | |
| (=> (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 6908-6920 | |
| (=> (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 6880-6891 | |
| (=> (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 8508-8517 | |
| (=> (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 3026-3035 | |
| (=> (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 1133-1141 | |
| (=> (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 3803-3814 | |
| (=> (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 15123-15134 | |
| (=> (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 | |
| (=> (instance ?X ChemicalAttack) (exists (?CHEM) (and (instance ?CHEM Substance) (instrument ?X ?CHEM)))) |
Mid-level-ontology.kif 19684-19689 |
|
|
|