AirportOperations - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8585-8587
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1630-1630
No TPTP formula. May not be expressible in strict first order.	naics.kif 8583-8583	机场运营是支持航空运输活动的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8589-8589	空中交通管制是机场运营的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8596-8596	其他机场运营是机场运营的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6240-6240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6239-6239
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6238-6238