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	AirportByRunwaySurface e' uma sub-classe de AirportClassification

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1352-1352	AirportWithPavedRunway e' uma instancia de AirportByRunwaySurface
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1366-1366	AirportWithUnpavedRunway e' uma instancia de AirportByRunwaySurface
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