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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PavedRunway

Sigma KEE - PavedRunway
PavedRunway(paved runway)

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


(disjoint PavedRunway UnpavedRunway) Transportation.kif 1500-1500 Paved runway is disjoint from unpaved runway
(documentation PavedRunway EnglishLanguage "PavedRunway is the subclass of Runways that are surfaced with concrete or asphalt.") Transportation.kif 1313-1314
(subclass PavedRunway Runway) Transportation.kif 1312-1312 Paved runway is a subclass of runway

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


(termFormat ChineseLanguage PavedRunway "铺好的跑道") domainEnglishFormat.kif 44859-44859
(termFormat ChineseTraditionalLanguage PavedRunway "鋪好的跑道") domainEnglishFormat.kif 44858-44858
(termFormat EnglishLanguage PavedRunway "paved runway") domainEnglishFormat.kif 44857-44857

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


(=>
    (and
        (instance ?RUNWAY PavedRunway)
        (surface ?SURFACE ?RUNWAY))
    (or
        (instance ?SURFACE Asphalt)
        (instance ?SURFACE Concrete)))
Transportation.kif 1316-1322

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 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 there exist a symbolic string and an entity such that the nonnegative integer is a cardinality of the class described by the symbolic string
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithPavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT))))
Transportation.kif 1357-1364
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Asphalt))
    (instance ?RUNWAY PavedRunway))
Transportation.kif 1324-1329
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Concrete))
    (instance ?RUNWAY PavedRunway))
Transportation.kif 1331-1336
(=>
    (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