Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ElectrifiedRailway(electrified railway)
|
| appearance as argument number 1 |
|
| (subclass ElectrifiedRailway Railway) | Transportation.kif 358-358 | Electrified railway is a subclass of railway |
| (documentation ElectrifiedRailway EnglishLanguage "ElectrifiedRailway is the subclass of Railway representing electrified railways.") | Transportation.kif 359-360 | Electrified railway is a subclass of railway |
| (externalImage ElectrifiedRailway "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 1e/ Three_engines_of_type_Rc4.jpg/ 800px_Three_engines_of_type_Rc4.jpg") | pictureList.kif 1098-1098 | Electrified railway is a subclass of railway |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (lengthOfElectrifiedRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS ElectrifiedRailway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 126-133 | X is a length of electrified railway of Y if and only if the length of the class described by Z is X |
| (=> (and (lengthOfElectrifiedRailway ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY ElectrifiedRailway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 135-143 | If X mile(s) is a length of electrified railway of Y and X is greater than 0, then there exists Z such that Z is an instance of electrified railway and Z is located at Y |
|