|
|
   ObliquusCapitisSuperiorMuscle
|
|
|
| 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 17623-17628 | |
| (exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17622-17622 | Solid are all the attributes of physical state |
| (subclass PhysicalState InternalAttribute) | Merge.kif 17620-17620 | Physical state is a subclass of internal attribute |
| appearance as argument number 2 |
|
|
| (instance Gas PhysicalState) | Merge.kif 17643-17643 | Gas is an instance of physical state |
| (instance Liquid PhysicalState) | Merge.kif 17634-17634 | Liquid is an instance of physical state |
| (instance Plasma PhysicalState) | Merge.kif 17661-17661 | Plasma is an instance of physical state |
| (instance Solid PhysicalState) | Merge.kif 17630-17630 | 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 1171-1171 | The number 2 argument of precipitation state is an instance of physical state |
| (domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 31706-31706 | 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 17655-17659 |
|
| consequent |
|
|
|
|
|