TreeView Knowledge Base Browser - lengthOfMultipleTrackRailway

appearance as argument number 2

(format ChineseLanguage lengthOfMultipleTrackRailway "%2 %n 是 %1 的多轨铁路 length ")	domainEnglishFormat.kif 1495-1495
(format ChineseTraditionalLanguage lengthOfMultipleTrackRailway "%2 %n 是 %1 的多軌鐵路 length ")	domainEnglishFormat.kif 1494-1494
(format EnglishLanguage lengthOfMultipleTrackRailway "%2 is %n a length of multiple track railway of %1")	domainEnglishFormat.kif 1493-1493
(termFormat ChineseLanguage lengthOfMultipleTrackRailway "多轨铁路的长度")	domainEnglishFormat.kif 34001-34001
(termFormat ChineseTraditionalLanguage lengthOfMultipleTrackRailway "多軌鐵路的長度")	domainEnglishFormat.kif 34000-34000
(termFormat EnglishLanguage lengthOfMultipleTrackRailway "length of multiple track railway")	domainEnglishFormat.kif 33999-33999

antecedent

(<=> (lengthOfMultipleTrackRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS MultipleTrackRailway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 154-161	LengthMeasure 是 GeographicArea 的多軌鐵路 length length 卡帕 SymbolicString and 例 SymbolicString and 多軌鐵路位於 SymbolicString and GeographicArea and LengthMeasure
(=> (and (lengthOfMultipleTrackRailway ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY MultipleTrackRailway) (located ?RAILWAY ?AREA))))	Transportation.kif 163-171	測量 RealNumber and 英里是 GeographicArea 的多軌鐵路 length 比較多 RealNumber and 0 Physical 例 Physical and 多軌鐵路位於 Physical and GeographicArea