| PhysicalState(physical state) | | aerosolised, aerosolized, chaos, creaminess, fluid, form, gelatinousness, glutinosity, glutinousness, isomeric, negative_charge, phase, positive_charge, semifluidity, semiliquid, semisolid, soupiness, state, state_of_matter, thickness, thinness, viscosity, viscousness |
| 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 17514-17519 | |
| (exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17513-17513 | Solid are all the attributes of physical state |
| (subclass PhysicalState InternalAttribute) | Merge.kif 17511-17511 | Physical state is a subclass of internal attribute |
| appearance as argument number 2 |
|
|
| (instance Gas PhysicalState) | Merge.kif 17534-17534 | Gas is an instance of physical state |
| (instance Liquid PhysicalState) | Merge.kif 17525-17525 | Liquid is an instance of physical state |
| (instance Plasma PhysicalState) | Merge.kif 17552-17552 | Plasma is an instance of physical state |
| (instance Solid PhysicalState) | Merge.kif 17521-17521 | Solid is an instance of physical state |
| (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 1187-1187 | The number 2 argument of precipitation state is an instance of physical state |
| (domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 31591-31591 | The number 2 argument of roomTempState is an instance of physical state |
| antecedent |
|
|
| (=> (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR)) (instance ?OBJ Substance)) |
Merge.kif 17546-17550 |
|
| consequent |
|
|
|
|
|