TreeView Knowledge Base Browser - chiefOfDiplomaticMission

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4450-4453
No TPTP formula. May not be expressible in strict first order.	Government.kif 4444-4444	O argumento numero 1 de chiefOfDiplomaticMission e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4445-4445	O argumento numero 2 de chiefOfDiplomaticMission e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 4446-4446	O argumento numero 3 de chiefOfDiplomaticMission e' uma instancia de Posicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4447-4447	O argumento numero 4 de chiefOfDiplomaticMission e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4443-4443	chiefOfDiplomaticMission e' uma instancia de Predicado Quaternario
No TPTP formula. May not be expressible in strict first order.	Government.kif 4448-4448	chiefOfDiplomaticMission e' uma sub-relacao de diplomaticRepresentativeInRole

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 436-436
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 435-435
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 434-434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14442-14442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14441-14441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14440-14440