TreeView Knowledge Base Browser

appearance as argument number 1

(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge)	Transportation.kif 391-391	Broad gauge is the opposite of standard gauge
(instance BroadGauge TrackGauge)	Transportation.kif 399-399	Broad gauge is an instance of track gauge
(documentation BroadGauge EnglishLanguage "BroadGauge is the attribute of any Railway that has a TrackGauge wider than StandardGauge.")	Transportation.kif 400-401	Broad gauge is an instance of track gauge
(externalImage BroadGauge "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ GWR_broad_gauge_locomotives.jpg")	pictureList.kif 5892-5892	Broad gauge is an instance of track gauge
(externalImage BroadGauge "http://upload.wikimedia.org/wikipedia/commons/ 7/ 78/ Farranfore_train_station.jpg")	pictureList.kif 6219-6219	Broad gauge is an instance of track gauge

appearance as argument number 2

(termFormat EnglishLanguage BroadGauge "broad gauge")	domainEnglishFormat.kif 12047-12047
(termFormat ChineseTraditionalLanguage BroadGauge "寬規")	domainEnglishFormat.kif 12048-12048
(termFormat ChineseLanguage BroadGauge "宽规")	domainEnglishFormat.kif 12049-12049

antecedent

(=>
    (and
        (instance ?RR Railway)
        (property ?RR BroadGauge)
        (trackWidth ?RR
            (MeasureFn ?WIDTH Meter)))
    (greaterThan ?WIDTH 1.44))

If X is an instance of railway, X the attribute broad gauge, and Y meter(s) is a track width of X, then Y is greater than 1.44

consequent