Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Deciding
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PhysicalState InternalAttribute) | Merge.kif 17898-17898 | Physical state is a subclass of internal attribute |
| (exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17900-17900 | Solid are all the attributes of physical state |
| (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 17901-17906 | Solid are all the attributes of physical state |
| appearance as argument number 2 |
|
|
| (instance Solid PhysicalState) | Merge.kif 17908-17908 | Solid is an instance of physical state |
| (instance Liquid PhysicalState) | Merge.kif 17912-17912 | Liquid is an instance of physical state |
| (instance Gas PhysicalState) | Merge.kif 17921-17921 | Gas is an instance of physical state |
| (instance Plasma PhysicalState) | Merge.kif 17939-17939 | Plasma is an instance of physical state |
| (termFormat EnglishLanguage PhysicalState "physical state") | english_format.kif 1719-1719 | Plasma is an instance of physical state |
| appearance as argument number 3 |
|
|
| (domain roomTempState 2 PhysicalState) | Mid-level-ontology.kif 34104-34104 | The number 2 argument of room temperature state is an instance of physical state |
| (domain precipitationState 2 PhysicalState) | Weather.kif 1867-1867 | The number 2 argument of precipitation state is an instance of physical state |
| antecedent |
|
|
| (=> (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR)) (instance ?OBJ Substance)) |
Merge.kif 17933-17937 | If X is an instance of physical state and X is an attribute of Y, then Y is an instance of substance |
| 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 14066-14077 | If X is an instance of state change and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is a part of Y (3) W is an instance of physical state (4) V is an instance of physical state (5) equal W (6) V (7) W is an attribute of Z holds during the beginning of the time of existence of X (8) V is an attribute of Z holds during the end of the time of existence of X |
| (=> (instance ?OBJ Substance) (exists (?ATTR) (and (instance ?ATTR PhysicalState) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17926-17931 | If X is an instance of substance, then there exists Y such that Y is an instance of physical state and Y is an attribute of X |
|