PavedRunway - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint PavedRunway UnpavedRunway)	Transportation.kif 1629-1629
(documentation PavedRunway EnglishLanguage "PavedRunway is the subclass of Runways that are surfaced with concrete or asphalt.")	Transportation.kif 1385-1386
(subclass PavedRunway Runway)	Transportation.kif 1384-1384

appearance as argument number 2

(termFormat ChineseLanguage PavedRunway "铺好的跑道")	domainEnglishFormat.kif 44877-44877
(termFormat ChineseTraditionalLanguage PavedRunway "鋪好的跑道")	domainEnglishFormat.kif 44876-44876
(termFormat EnglishLanguage PavedRunway "paved runway")	domainEnglishFormat.kif 44875-44875

antecedent

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

Transportation.kif 1388-1394

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 1349-1359
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT))))	Transportation.kif 1486-1493
(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Asphalt)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1396-1401
(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1403-1408
(=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))))	Transportation.kif 1361-1368