PhysicalState(Estado Fisico) |
appearance as argument number 1 |
(documentation PhysicalState ChineseLanguage "这是一个 Object 的物理状态。这个 Class 有三个 具体的实例:Solid, Liquid, and Gas。从一个物质转换到另外一个物质的特征不是物理变化,反而是该物质 形式的改变(物理状态)。例如:把铁定溶掉所得的物质仍然叫铁。") | chinese_format.kif 3921-3923 | |
(documentation PhysicalState EnglishLanguage "The physical state of an Object. There are three reified instances of this Class: Solid, Liquid, and Gas. Physical changes are not characterized by the transformation of one substance into another, but rather by the change of the form (physical states) of a given substance. For example, melting an iron nail yields a substance still called iron.") | Merge.kif 17566-17571 | |
(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17565-17565 | exhaustiveAttribute Estado Fisico, Solid, Liquid, Gas and Plasma |
(subclass PhysicalState InternalAttribute) | Merge.kif 17563-17563 | Estado Fisico e' uma sub-classe de Atributo Interno |
appearance as argument number 2 |
(instance Gas PhysicalState) | Merge.kif 17586-17586 | Gas e' uma instancia de Estado Fisico |
(instance Liquid PhysicalState) | Merge.kif 17577-17577 | Liquid e' uma instancia de Estado Fisico |
(instance Plasma PhysicalState) | Merge.kif 17604-17604 | Plasma e' uma instancia de Estado Fisico |
(instance Solid PhysicalState) | Merge.kif 17573-17573 | Solid e' uma instancia de Estado Fisico |
(termFormat ChineseLanguage PhysicalState "物质状态") | chinese_format.kif 1247-1247 | |
(termFormat EnglishLanguage PhysicalState "physical state") | english_format.kif 1715-1715 | |
(termFormat FrenchLanguage PhysicalState "�tat physique") | french_format.kif 925-925 | |
(termFormat Hindi PhysicalState "bhOtika avasthaa") | terms-hindi.txt 459-459 | |
(termFormat ItalianLanguage PhysicalState "StatoFisico") | terms-it.txt 462-462 | |
(termFormat JapaneseLanguage PhysicalState "物理状態") | japanese_format.kif 2609-2609 | |
(termFormat PortugueseLanguage PhysicalState "Estado Fisico") | portuguese_format.kif 877-877 | |
(termFormat cz PhysicalState "skupenstv�") | terms-cz.txt 498-498 | |
(termFormat ro PhysicalState "stare fizicã") | relations-ro.kif 946-946 | |
(termFormat tg PhysicalState "kalagayan ukol sa katawan") | terms-tg.txt 463-463 |
appearance as argument number 3 |
(domain precipitationState 2 PhysicalState) | Weather.kif 1183-1183 | O argumento numero 2 de precipitationState e' uma instancia de Estado Fisico |
(domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 31670-31670 | O argumento numero 2 de roomTempState e' uma instancia de Estado Fisico |
antecedent |
(=> (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR)) (instance ?OBJ Substance)) |
Merge.kif 17598-17602 |
|
consequent |