diplomaticRepresentativeInRole |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4461-4468 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4456-4456 | O argumento numero 1 de diplomaticRepresentativeInRole e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4457-4457 | O argumento numero 2 de diplomaticRepresentativeInRole e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4458-4458 | O argumento numero 3 de diplomaticRepresentativeInRole e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4459-4459 | O argumento numero 4 de diplomaticRepresentativeInRole e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4455-4455 | diplomaticRepresentativeInRole e' uma instancia de Predicado Quaternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 752-752 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 751-751 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 750-750 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4448-4448 | chiefOfDiplomaticMission e' uma sub-relacao de diplomaticRepresentativeInRole |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19632-19632 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19631-19631 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19630-19630 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4486-4490 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4511-4519 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4470-4478 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4504-4509 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4492-4496 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4480-4484 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4498-4502 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4531-4533 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4683-4685 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4603-4605 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4582-4590 |
|