| PhysicalState(�tat physique) | |
| 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 17712-17717 | |
| (exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17711-17711 | exhaustiveAttribute �tat physique, Solid, Liquid, Gas and Plasma |
| (subclass PhysicalState InternalAttribute) | Merge.kif 17709-17709 | �tat physique Est une sous-classe de attribut interne |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain precipitationState 2 PhysicalState) | Weather.kif 1422-1422 | Le nombre 2 argument de precipitationState est une instance de �tat physique |
| (domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 33621-33621 | Le nombre 2 argument de roomTempState est une instance de �tat physique |
| antecedent |
|
|
| (=> (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR)) (instance ?OBJ Substance)) |
Merge.kif 17744-17748 |
| consequent |
|
|
| (=> (and (instance ?PROCESS StateChange) (patient ?PROCESS ?OBJ)) (exists (?PART ?STATE1 ?STATE2) (and (part ?PART ?OBJ) (instance ?STATE1 PhysicalState) (instance ?STATE2 PhysicalState) (not (equal ?STATE1 ?STATE2)) (holdsDuring (BeginFn (WhenFn ?PROCESS)) (attribute ?PART ?STATE1)) (holdsDuring (EndFn (WhenFn ?PROCESS)) (attribute ?PART ?STATE2))))) |
Merge.kif 13895-13906 |
|
| (=> (instance ?OBJ Substance) (exists (?ATTR) (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17737-17742 |
|
|
|