No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 481-481 |
President is a chief of state type of united states |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1445-1445 |
President is a leader position of iran |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1499-1499 |
President of the united states is a subattribute of president |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47240-47240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47239-47239 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 693-693 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47238-47238 |
|