ImmigrationAndNationalityAct-Section219-US
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2404-2404 | Immigration and nationality act- section219-US is an instance of proposition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2405-2405 | The statement immigration and nationality act- section219-US has the modal force of law |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2403-2403 | Immigration and nationality act-US subsumes the content of immigration and nationality act- section219-US |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29379-29379 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29378-29378 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29377-29377 |