diplomaticRepresentationType |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4526-4529 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4522-4522 | The number 1 argument of diplomatic representation type is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4523-4523 | The number 2 argument of diplomatic representation type is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4524-4524 | The number 3 argument of diplomatic representation type is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4521-4521 | diplomatic representation type is an instance of ternary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 748-748 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 747-747 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 746-746 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19626-19626 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19625-19625 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19624-19624 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4535-4540 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4675-4680 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4582-4590 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4687-4689 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4553-4555 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4535-4540 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4621-4629 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4644-4646 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4692-4694 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4557-4563 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4565-4571 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4573-4580 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4531-4533 |
|