AirportByRunwaySurface - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1348-1350
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1628-1628
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2084-2084
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1347-1347	跑道表面的机场是机场分类的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1352-1352	机场有着铺设跑道是跑道表面的机场的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1366-1366	机场有着未铺砌的跑道是跑道表面的机场的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6228-6228
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6227-6227
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6226-6226