Substance(Substancia) |
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 1045-1051 | |
(documentation Substance JapaneseLanguage "Objectは、すべてのパーツが他のすべての関連するあ らゆる点で似ている。 より正確には、パーツとして任意のピースのみがある場合、 何かが Substance である - どんなパーツも全体のプロパティに似たプロパティがある。 注:それにも関わらず、Substance は、物理的特性が異る場合がある。 例えば、温度、化学組成、密度などが一部から他の部へ変化する場合が ある。 例として、水域など。") | japanese_format.kif 165-169 | |
(documentation Substance SpanishLanguage "Un Object en lo que cada parte es simular a al otra parte en todos los aspectos relevantes. Para ser mas preciso, algo es una Substance sólo cuando tenga piezas arbitrarias como partes… cualquiera parte que es simular al objeto entero. Note que una Substance, no obstante, puede tener propiedades que varian. Por ejemplo, temperatura, composición química, densidad, etc. pueden cambiar una parte a otra. Un ejemplo sería una masa de agua.") | spanish_format.kif 194-199 | |
(externalImage Substance "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg") | pictureList.kif 917-917 | |
(partition Substance PureSubstance Mixture) | Merge.kif 1042-1042 | O conceito Substancia e' completamente decomposto em Substancia Pura + Mistura |
(partition Substance SyntheticSubstance NaturalSubstance) | Merge.kif 1043-1043 | O conceito Substancia e' completamente decomposto em SyntheticSubstance + NaturalSubstance |
(subclass Substance SelfConnectedObject) | Merge.kif 1041-1041 | Substancia e' uma sub-classe de Objeto auto-conectado |
appearance as argument number 2 |
appearance as argument number 3 |
(domain catalyst 2 Substance) | VirusProteinAndCellPart.kif 255-255 | O argumento numero 2 de catalyst e' uma instancia de Substancia |
(domain mixtureRatio 1 Substance) | Food.kif 1241-1241 | O argumento numero 1 de mixtureRatio e' uma instancia de Substancia |
(domain mixtureRatio 2 Substance) | Food.kif 1242-1242 | O argumento numero 2 de mixtureRatio e' uma instancia de Substancia |
(domain piece 1 Substance) | Merge.kif 951-951 | O argumento numero 1 de piece e' uma instancia de Substancia |
(domain piece 2 Substance) | Merge.kif 952-952 | O argumento numero 2 de piece e' uma instancia de Substancia |
(domain reactant 2 Substance) | Mid-level-ontology.kif 8797-8797 | O argumento numero 2 de reactant e' uma instancia de Substancia |
(domain reagent 2 Substance) | Mid-level-ontology.kif 8804-8804 | O argumento numero 2 de reagent e' uma instancia de Substancia |
(domainSubclass AmountsFn 1 Substance) | Merge.kif 7577-7577 | O argumento numero 1 de AmountsFn e' uma sub-classe de Substancia |
(domainSubclass allergic 2 Substance) | Mid-level-ontology.kif 6225-6225 | O argumento numero 2 de allergic e' uma sub-classe de Substancia |
(domainSubclass amount 1 Substance) | Merge.kif 7592-7592 | O argumento numero 1 de amount e' uma sub-classe de Substancia |
(domainSubclass concentration 2 Substance) | Medicine.kif 225-225 | O argumento numero 2 de concentration e' uma sub-classe de Substancia |
(domainSubclass groundSubsurfaceType 2 Substance) | Geography.kif 4286-4286 | O argumento numero 2 de groundSubsurfaceType e' uma sub-classe de Substancia |
(domainSubclass groundSurfaceType 2 Substance) | Geography.kif 4279-4279 | O argumento numero 2 de groundSurfaceType e' uma sub-classe de Substancia |
(domainSubclass ingredient 1 Substance) | Merge.kif 1213-1213 | O argumento numero 1 de ingredient e' uma sub-classe de Substancia |
(domainSubclass ingredient 2 Substance) | Merge.kif 1214-1214 | O argumento numero 2 de ingredient e' uma sub-classe de Substancia |
(domainSubclass material 1 Substance) | Merge.kif 978-978 | O argumento numero 1 de material e' uma sub-classe de Substancia |
(domainSubclass mixturePartType 1 Substance) | Medicine.kif 5858-5858 | O argumento numero 1 de mixturePartType e' uma sub-classe de Substancia |
(domainSubclass roomTempState 1 Substance) | Mid-level-ontology.kif 31675-31675 | O argumento numero 1 de roomTempState e' uma sub-classe de Substancia |
(domainSubclass substanceElement 2 Substance) | Merge.kif 1243-1243 | O argumento numero 2 de substanceElement e' uma sub-classe de Substancia |
antecedent |
consequent |