![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(disjoint PavedRunway UnpavedRunway) | Transportation.kif 1485-1485 | 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 1302-1303 | |
(subclass PavedRunway Runway) | Transportation.kif 1301-1301 | Paved runway is a subclass of runway |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage PavedRunway "铺好的跑道") | domainEnglishFormat.kif 44833-44833 | |
(termFormat ChineseTraditionalLanguage PavedRunway "鋪好的跑道") | domainEnglishFormat.kif 44832-44832 | |
(termFormat EnglishLanguage PavedRunway "paved runway") | domainEnglishFormat.kif 44831-44831 |
antecedent |
![]() |
(=> (and (instance ?RUNWAY PavedRunway) (surface ?SURFACE ?RUNWAY)) (or (instance ?SURFACE Asphalt) (instance ?SURFACE Concrete))) |
Transportation.kif 1305-1311 |
|
consequent |
![]() |
![]() |
![]() |