PavedRunway - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint PavedRunway UnpavedRunway)	Transportation.kif 1500-1500
(documentation PavedRunway EnglishLanguage "PavedRunway is the subclass of Runways that are surfaced with concrete or asphalt.")	Transportation.kif 1313-1314
(subclass PavedRunway Runway)	Transportation.kif 1312-1312

appearance as argument number 2

(termFormat ChineseLanguage PavedRunway "铺好的跑道")	domainEnglishFormat.kif 44846-44846
(termFormat ChineseTraditionalLanguage PavedRunway "鋪好的跑道")	domainEnglishFormat.kif 44845-44845
(termFormat EnglishLanguage PavedRunway "paved runway")	domainEnglishFormat.kif 44844-44844

antecedent

(=>
    (and
        (instance ?RUNWAY PavedRunway)
        (surface ?SURFACE ?RUNWAY))
    (or
        (instance ?SURFACE Asphalt)
        (instance ?SURFACE Concrete)))

Transportation.kif 1316-1322

consequent

(<=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (cardinality (KappaFn ?AIRPORT (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))) ?COUNT)))	Transportation.kif 1277-1287
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT))))	Transportation.kif 1357-1364
(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Asphalt)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1324-1329
(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1331-1336
(=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))))	Transportation.kif 1289-1296