AirportClassification - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1339-1345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1629-1629
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1338-1338	AirportClassification e' uma sub-classe de Atributo Relacional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1347-1347	AirportByRunwaySurface e' uma sub-classe de AirportClassification
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1380-1380	CIAAirportLengthClassification e' uma sub-classe de AirportClassification
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6234-6234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6233-6233
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6232-6232