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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirportWithPavedRunway
AirportWithPavedRunway(airport with paved runway)
airport_with_paved_runway, 机场有着铺设跑道, 機場有著鋪設跑道

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 1327-1329
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0f/ Airport_overhead.jpg") pictureList.kif 2089-2089 "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Airport_overhead.jpg" is a URL depicting airport with paved runway
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Flughafen_Frankfurt_am_Main.JPG") pictureList.kif 1632-1632 "http://upload.wikimedia.org/wikipedia/commons/4/4e/ Flughafen_Frankfurt_am_Main.JPG" is a URL depicting airport with paved runway
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8b/ KLM_777_pushback.jpg") pictureList.kif 2088-2088 "http://upload.wikimedia.org/wikipedia/commons/8/8b/ KLM_777_pushback.jpg" is a URL depicting airport with paved runway
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ HFX_Airport_4.jpg") pictureList.kif 2086-2086 "http://upload.wikimedia.org/wikipedia/commons/9/90/ HFX_Airport_4.jpg" is a URL depicting airport with paved runway
(instance AirportWithPavedRunway AirportByRunwaySurface) Transportation.kif 1326-1326 Airport with paved runway is an instance of airport by runway surface

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


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

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 1251-1261 A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithPavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT))))
Transportation.kif 1331-1338
(=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))
Transportation.kif 1263-1270


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