Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Supersonic
|
|
|
| appearance as argument number 1 |
|
|
| (instance Supersonic RelationalAttribute) | Transportation.kif 5239-5239 | Supersonic is an instance of relational attribute |
| (documentation Supersonic EnglishLanguage "Supersonic is a RelationalAttribute which describe the speed of an object that can travel faster than the speedOfSound or MachNumber greaterThan 1 and less than 5 MachNumber. Speeds greater than five times the speed of sound are often referred as Hypersonic. [Wikipedia] ") | Transportation.kif 5240-5243 | Supersonic is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishGroupLanguage Supersonic "supersonic") | Transportation.kif 5244-5244 |
| antecedent |
|
|
| (=> (and (instance ?A Aircraft) (attribute ?A Supersonic)) (modalAttribute (exists (?F) (and (instance ?F Flying) (patient ?F ?A) (holdsDuring (WhenFn ?F) (exists (?M) (and (measure ?A (MeasureFn ?M MachNumber)) (greaterThan ?M 1)))))) Possibility)) |
Transportation.kif 5246-5260 | If X is an instance of aircraft and Supersonic 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 1 holds during the time of existence of Y has the modal force of possibility |
| consequent |
|
|
| (=> (instance ?F BoeingFA18EFSuperHornet) (attribute ?F Supersonic)) |
Military.kif 269-271 | If X is an instance of Boeing F/A-18E/F Super Hornet, then Supersonic is an attribute of X |
| (=> (and (instance ?F Flying) (patient ?F ?A) (instance ?A Aircraft) (holdsDuring (WhenFn ?F) (and (measure ?A (MeasureFn ?M MachNumber)) (greaterThan ?M 1) (lessThan ?M 5)))) (attribute ?A Supersonic)) |
Transportation.kif 5262-5273 | If X is an instance of flying, Y is a patient of X, Y is an instance of aircraft, and the measure of Y is Z Mach number(s) and Z is greater than 1 and Z is less than 5 holds during the time of existence of X, then Supersonic is an attribute of Y |
|