| ElectrifiedRailway(electrified railway)
|
| appearance as argument number 1 |
|
| (documentation ElectrifiedRailway EnglishLanguage "ElectrifiedRailway is the subclass of Railway representing electrified railways.") | Transportation.kif 359-360 | |
| (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 | |
| (subclass ElectrifiedRailway Railway) | Transportation.kif 358-358 | Electrified railway is a subclass of railway |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ElectrifiedRailway "电气化铁路") | domainEnglishFormat.kif 21682-21682 | |
| (termFormat ChineseTraditionalLanguage ElectrifiedRailway "電氣化鐵路") | domainEnglishFormat.kif 21681-21681 | |
| (termFormat EnglishLanguage ElectrifiedRailway "electrified railway") | domainEnglishFormat.kif 21680-21680 |
| consequent |
|
|
| (<=> (lengthOfElectrifiedRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS ElectrifiedRailway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 126-133 | A length measure is a length of electrified railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
| (=> (and (lengthOfElectrifiedRailway ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY ElectrifiedRailway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 135-143 |
|
|
|
|