Diplomat - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22364-22366
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5961-5961
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6382-6382
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22362-22362	外交官是职业角色的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22363-22363	外交官是政府人的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19596-19596
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19595-19595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19594-19594