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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirportWithPavedRunway

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 1353-1355
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0f/ Airport_overhead.jpg") pictureList.kif 2088-2088
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Flughafen_Frankfurt_am_Main.JPG") pictureList.kif 1631-1631
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8b/ KLM_777_pushback.jpg") pictureList.kif 2087-2087
(externalImage AirportWithPavedRunway "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ HFX_Airport_4.jpg") pictureList.kif 2085-2085
(instance AirportWithPavedRunway AirportByRunwaySurface) Transportation.kif 1352-1352 机场有着铺设跑道跑道表面的机场instance

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


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

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


(<=>
    (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 地理区域 是 对于 非负整数 在地区 和 机场有着铺设跑道 对应的 Classtotal 设施类别 若且唯若 有存在 符号串 实体 这样 那个 非负整数那个 符号串 所描述的类别 的 cardinality
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithPavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT))))
Transportation.kif 1357-1364
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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