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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Airport
Airport

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


(documentation Airport EnglishLanguage "Airport is the subclass of TransitTerminals for Airplanes (fixed-wing Aircraft).") Transportation.kif 1268-1269
(externalImage Airport "http://upload.wikimedia.org/wikipedia/commons/4/ 4e/ Flughafen_Frankfurt_am_Main.JPG") pictureList.kif 1627-1627
(externalImage Airport "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ HFX_Airport_4.jpg") pictureList.kif 2081-2081
(externalImage Airport "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0f/ Airport_overhead.jpg/ 180px-Airport_overhead.jpg") pictureList.kif 1022-1022
(subclass Airport AirTransitway) Transportation.kif 1266-1266
(subclass Airport LandTransitway) Transportation.kif 1267-1267
(subclass Airport TransitTerminal) Transportation.kif 1265-1265

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


(termFormat ChineseLanguage Airport "飞机场") domainEnglishFormat.kif 6222-6222
(termFormat ChineseTraditionalLanguage Airport "飛機場") domainEnglishFormat.kif 6221-6221
(termFormat EnglishLanguage Airport "airport") domainEnglishFormat.kif 6220-6220

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


(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithPavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT))))
Transportation.kif 1357-1364
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithUnpavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY UnpavedRunway)
            (part ?RUNWAY ?AIRPORT))))
Transportation.kif 1371-1378
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT LongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 2438)
                (lessThanOrEqualTo ?LENGTH 3047)))))
Transportation.kif 1445-1457
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT MediumLengthRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 1524)
                (lessThanOrEqualTo ?LENGTH 2437)))))
Transportation.kif 1426-1438
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT ShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (or
                (greaterThanOrEqualTo ?LENGTH 914)
                (lessThanOrEqualTo ?LENGTH 1523)))))
Transportation.kif 1407-1419
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryLongRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (greaterThan ?LENGTH 3047))))
Transportation.kif 1464-1474
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT VeryShortRunwayAirport))
    (exists (?RUNWAY ?LENGTH)
        (and
            (instance ?RUNWAY Runway)
            (part ?RUNWAY ?AIRPORT)
            (length ?RUNWAY
                (MeasureFn ?LENGTH Meter))
            (lessThan ?LENGTH 914))))
Transportation.kif 1391-1400
(=>
    (instance ?AIRPORT Airport)
    (trafficableForTrafficType ?AIRPORT Airplane))
Transportation.kif 2624-2626

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
        (totalFacilityTypeInArea ?AREA
            (ExtensionFn AirportWithUnpavedRunway) ?COUNT)
        (greaterThan ?COUNT 0))
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY UnpavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))
Transportation.kif 1482-1491
(=>
    (instance ?SVC AirportShuttleService)
    (exists (?AIRPORT ?TRANSPORT)
        (and
            (instance ?AIRPORT Airport)
            (subProcess ?TRANSPORT ?SVC)
            (instance ?TRANSPORT Transportation)
            (or
                (destination ?TRANSPORT ?AIRPORT)
                (origin ?TRANSPORT ?AIRPORT)))))
Hotel.kif 2071-2080
(=>
    (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


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 3.0 is open source software produced by Articulate Software and its partners