Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Railhead
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Railhead Railway) | Transportation.kif 2257-2257 | Railhead is a subclass of railway |
| (documentation Railhead EnglishLanguage "A Railhead is a point on a A point on a railway system where goods (or passengers) are loaded, unloaded or transferred to other transport. [Wiktionary]") | Transportation.kif 2258-2259 | Railhead is a subclass of railway |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Railhead "railhead") | domainEnglishFormat.kif 48619-48619 |
| antecedent |
|
|
| (=> (and (instance ?R Railhead) (instance ?V RailVehicle) (holdsDuring ?T (located ?V ?R))) (exists (?M) (and (patient ?M ?V) (or (and (instance ?M Leaving) (origin ?M ?R) (during (WhenFn ?M) ?T)) (and (instance ?M Arriving) (destination ?M ?R) (during (WhenFn ?M) ?T)))))) |
Transportation.kif 2261-2278 | If X is an instance of railhead, Y is an instance of rail vehicle, and Y is located at X holds during Z, then there exists W such that Y is a patient of W, W is an instance of leaving, W originates at X, the time of existence of W takes place during Z or W is an instance of arriving, W ends up at X, and the time of existence of W takes place during Z |
|