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


KB Term:  Term intersection
English Word: 

  PavedRunway

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