| appearance as argument number 1 |
|
| (documentation AirportWithUnpavedRunway EnglishLanguage "AirportWithUnpavedRunway is an AirportClassification attribute used to describe an airport whose longest runway is an UnpavedRunway.") | Transportation.kif 1496-1498 | |
| (instance AirportWithUnpavedRunway AirportByRunwaySurface) | Transportation.kif 1495-1495 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AirportWithUnpavedRunway "机场有着未铺砌的跑道") | domainEnglishFormat.kif 6261-6261 | |
| (termFormat ChineseTraditionalLanguage AirportWithUnpavedRunway "機場有著未鋪砌的跑道") | domainEnglishFormat.kif 6260-6260 | |
| (termFormat EnglishLanguage AirportWithUnpavedRunway "airport with unpaved runway") | domainEnglishFormat.kif 6259-6259 |
| antecedent |
|
|
| (=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithUnpavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1500-1507 | |
| (=> (and (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithUnpavedRunway) ?COUNT) (greaterThan ?COUNT 0)) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) |
Transportation.kif 1611-1620 |
|
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 is open source software produced by Articulate Software and its partners