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 2080-2080
(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 Airport est une sous-classe de AirTransitway
(subclass Airport LandTransitway) Transportation.kif 1267-1267 Airport est une sous-classe de LandTransitway
(subclass Airport TransitTerminal) Transportation.kif 1265-1265 Airport est une sous-classe de TransitTerminal

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


(subclass MilitaryAirport Airport) MilitaryProcesses.kif 2768-2768 MilitaryAirport est une sous-classe de Airport
(termFormat ChineseLanguage Airport "飞机场") domainEnglishFormat.kif 6231-6231 MilitaryAirport est une sous-classe de Airport
(termFormat ChineseTraditionalLanguage Airport "飛機場") domainEnglishFormat.kif 6230-6230 MilitaryAirport est une sous-classe de Airport
(termFormat EnglishLanguage Airport "airport") domainEnglishFormat.kif 6229-6229 MilitaryAirport est une sous-classe de Airport

appearance as argument number 3
-------------------------


(domain numberOfAprons 1 Airport) Transportation.kif 1295-1295 Le nombre 1 argument de numberOfAprons est une instance de Airport
(domain numberOfRunways 1 Airport) Transportation.kif 1437-1437 Le nombre 1 argument de numberOfRunways est une instance de Airport
(domain numberOfTaxiways 1 Airport) Transportation.kif 1454-1454 Le nombre 1 argument de numberOfTaxiways est une instance de Airport

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


(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithPavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT))))		 Transportation.kif 1486-1493
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithUnpavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY UnpavedRunway)
            (part ?RUNWAY ?AIRPORT))))		 Transportation.kif 1500-1507
(=>
    (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 1574-1586
(=>
    (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 1555-1567
(=>
    (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 1536-1548
(=>
    (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 1593-1603
(=>
    (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 1520-1529
(=>
    (instance ?AIRPORT Airport)
    (trafficableForTrafficType ?AIRPORT Airplane))		 Transportation.kif 3155-3157

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 totalFacilityTypeInArea secteur g�ographique, la classe correspondant � AirportWithPavedRunway and nombre entier non n�gatif cha�ne sympbolique entit� cardinality la classe d�crite par cha�ne sympbolique and nombre entier non n�gatif
(=>
    (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 1611-1620
(=>
    (instance ?AA AirportApron)
    (exists (?A)
        (and
            (instance ?A Airport)
            (located ?AA ?A))))		 Transportation.kif 1275-1280
(=>
    (instance ?S AirportStagingArea)
    (exists (?A)
        (and
            (instance ?A Airport)
            (located ?S ?A))))		 Transportation.kif 1311-1316
(=>
    (instance ?SA SecureAirfield)
    (exists (?A)
        (and
            (instance ?A Airport)
            (attribute ?A MilitarilySecure))))		 MilitaryProcesses.kif 2869-2874
(=>
    (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 2082-2091
(=>
    (instance ?T Taxiway)
    (exists (?A)
        (and
            (instance ?A Airport)
            (located ?T ?A))))		 Transportation.kif 1414-1419
(=>
    (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


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