TreeView Knowledge Base Browser - lengthOfElectrifiedRailway

appearance as argument number 2

(format ChineseLanguage lengthOfElectrifiedRailway "%2 %n 是 %1 的电场轨道 length ")	domainEnglishFormat.kif 1487-1487
(format ChineseTraditionalLanguage lengthOfElectrifiedRailway "%2 %n 是 %1 的電場軌道 length ")	domainEnglishFormat.kif 1486-1486
(format EnglishLanguage lengthOfElectrifiedRailway "%2 is %n a length of electrified railway of %1")	domainEnglishFormat.kif 1485-1485
(termFormat ChineseLanguage lengthOfElectrifiedRailway "电气化铁路的长度")	domainEnglishFormat.kif 33989-33989
(termFormat ChineseTraditionalLanguage lengthOfElectrifiedRailway "電氣化鐵路的長度")	domainEnglishFormat.kif 33988-33988
(termFormat EnglishLanguage lengthOfElectrifiedRailway "length of electrified railway")	domainEnglishFormat.kif 33987-33987

antecedent

(<=> (lengthOfElectrifiedRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS ElectrifiedRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 126-133	LengthMeasure 是 GeographicArea 的電場軌道 length length 卡帕 SymbolicString and 例 SymbolicString and 電氣化鐵路位於 SymbolicString and GeographicArea and LengthMeasure
(=> (and (lengthOfElectrifiedRailway ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY ElectrifiedRailway) (located ?RAILWAY ?AREA))))	Transportation.kif 135-143	測量 RealNumber and 英里是 GeographicArea 的電場軌道 length 比較多 RealNumber and 0 Physical 例 Physical and 電氣化鐵路位於 Physical and GeographicArea