TreeView Knowledge Base Browser - chiefOfDiplomaticMission

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4414-4417
No TPTP formula. May not be expressible in strict first order.	Government.kif 4408-4408	The number 1 argument of chief of diplomatic mission is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4409-4409	The number 2 argument of chief of diplomatic mission is an instance of human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4410-4410	The number 3 argument of chief of diplomatic mission is an instance of position
No TPTP formula. May not be expressible in strict first order.	Government.kif 4411-4411	The number 4 argument of chief of diplomatic mission is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 4407-4407	chief of diplomatic mission is an instance of quaternary predicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 4412-4412	chief of diplomatic mission is a subrelation of diplomatic representative in role

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