Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Hypersonic
|
|
|
| appearance as argument number 1 |
|
|
| (instance Hypersonic RelationalAttribute) | Transportation.kif 5275-5275 | Hypersonic is an instance of relational attribute |
| (documentation Hypersonic EnglishLanguage "Hypersonic is a RelationalAttribute which describe the speed of an object that can travel faster than five times the speedOfSound or MachNumber greaterThan 5. [Wikipedia] ") | Transportation.kif 5276-5278 | Hypersonic is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishGroupLanguage Hypersonic "hypersonic") | Transportation.kif 5279-5279 |
| antecedent |
|
|
| (=> (and (instance ?A Aircraft) (attribute ?A Hypersonic)) (modalAttribute (exists (?F) (and (instance ?F Flying) (patient ?F ?A) (holdsDuring (WhenFn ?F) (exists (?M) (and (measure ?A (MeasureFn ?M MachNumber)) (greaterThan ?M 5)))))) Possibility)) |
Transportation.kif 5281-5295 | If X is an instance of aircraft and Hypersonic is an attribute of X, then the statement there exists Y such that Y is an instance of flying and X is a patient of Y and there exists Z such that the measure of X is Z Mach number(s) and Z is greater than 5 holds during the time of existence of Y has the modal force of possibility |
|