Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirportWithPavedRunway
AirportWithPavedRunway

appearance as argument number 1
-------------------------


(documentation AirportWithPavedRunway EnglishLanguage "AirportWithPavedRunway is an AirportClassification attribute used to describe an airport whose longest runway is a PavedRunway.") Transportation.kif 1342-1344
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0f/ Airport_overhead.jpg") pictureList.kif 2089-2089
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Flughafen_Frankfurt_am_Main.JPG") pictureList.kif 1632-1632
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8b/ KLM_777_pushback.jpg") pictureList.kif 2088-2088
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ HFX_Airport_4.jpg") pictureList.kif 2086-2086
(instance AirportWithPavedRunway AirportByRunwaySurface) Transportation.kif 1341-1341

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage AirportWithPavedRunway "机场有着铺设跑道") domainEnglishFormat.kif 6253-6253
(termFormat ChineseTraditionalLanguage AirportWithPavedRunway "機場有著鋪設跑道") domainEnglishFormat.kif 6252-6252
(termFormat EnglishLanguage AirportWithPavedRunway "airport with paved runway") domainEnglishFormat.kif 6251-6251

antecedent
-------------------------


(<=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (cardinality
        (KappaFn ?AIRPORT
            (exists (?RUNWAY)
                (and
                    (instance ?AIRPORT Airport)
                    (instance ?RUNWAY PavedRunway)
                    (part ?RUNWAY ?AIRPORT)
                    (located ?AIRPORT ?AREA)))) ?COUNT))
Transportation.kif 1266-1276
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithPavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT))))
Transportation.kif 1346-1353
(=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))
Transportation.kif 1278-1285


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners