Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PavedRunway
PavedRunway(paved runway)

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


(subclass PavedRunway Runway) Transportation.kif 1400-1400 Paved runway is a subclass of runway
(documentation PavedRunway EnglishLanguage "PavedRunway is the subclass of Runways that are surfaced with concrete or asphalt.") Transportation.kif 1401-1402 Paved runway is a subclass of runway
(disjoint PavedRunway UnpavedRunway) Transportation.kif 1645-1645 Paved runway is disjoint from unpaved runway

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


(termFormat EnglishLanguage PavedRunway "paved runway") domainEnglishFormat.kif 44837-44837
(termFormat ChineseTraditionalLanguage PavedRunway "鋪好的跑道") domainEnglishFormat.kif 44838-44838
(termFormat ChineseLanguage PavedRunway "铺好的跑道") domainEnglishFormat.kif 44839-44839

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


(=>
    (and
        (instance ?RUNWAY PavedRunway)
        (surface ?SURFACE ?RUNWAY))
    (or
        (instance ?SURFACE Asphalt)
        (instance ?SURFACE Concrete)))		 Transportation.kif 1404-1410 If X is an instance of paved runway and Y is a surface of X, then Y is an instance of asphalt or Y is an instance of concrete

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 X is total facility type in area the class corresponding to airport with paved runway for Y if, only if there exist Z, and W such that Y is a cardinality of the class described by Z
(=>
    (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 If X is total facility type in area the class corresponding to airport with paved runway for Y, then there exist Z, W such that Z is an instance of airport, W is an instance of paved runway, W is a part of Z, and Z is located at X
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Asphalt))
    (instance ?RUNWAY PavedRunway))		 Transportation.kif 1412-1417 If X is an instance of runway, Y is a surface of X, and Y is an instance of asphalt, then X is an instance of paved runway
(=>
    (and
        (instance ?RUNWAY Runway)
        (surface ?SURFACE ?RUNWAY)
        (instance ?SURFACE Concrete))
    (instance ?RUNWAY PavedRunway))		 Transportation.kif 1419-1424 If X is an instance of runway, Y is a surface of X, and Y is an instance of concrete, then X is an instance of paved runway
(=>
    (and
        (instance ?AIRPORT Airport)
        (attribute ?AIRPORT AirportWithPavedRunway))
    (exists (?RUNWAY)
        (and
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT))))		 Transportation.kif 1502-1509 If X is an instance of airport and airport with paved runway is an attribute of X, then there exists Y such that Y is an instance of paved runway and Y is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners