Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ImmigrationAndNationalityAct_Section219_US(immigration and nationality act- section219-US) |
| appearance as argument number 1 |
|
| (instance ImmigrationAndNationalityAct_Section219_US Proposition) | Government.kif 2378-2378 | Immigration and nationality act- section219-US is an instance of proposition |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ImmigrationAndNationalityAct_Section219_US "immigration and nationality act- section219-US") | domainEnglishFormat.kif 29381-29381 | |
| (termFormat ChineseTraditionalLanguage ImmigrationAndNationalityAct_Section219_US "移民和國籍法- section219-US") | domainEnglishFormat.kif 29382-29382 | |
| (termFormat ChineseLanguage ImmigrationAndNationalityAct_Section219_US "移民和国籍法- section219-US") | domainEnglishFormat.kif 29383-29383 |
| statement |
|
|
| (exists (?FORMULA) (and (instance ?FORMULA Formula) (containsFormula ImmigrationAndNationalityAct_Section219_US ?FORMULA) (modalAttribute ?FORMULA Law))) |
Government.kif 2379-2383 | There exists X such that X is an instance of formula, immigration and nationality act- section219-US contains the formula X, and the statement X has the modal force of law |
| (exists (?FORMULA1 ?FORMULA2) (and (instance ?FORMULA1 Formula) (containsFormula ImmigrationAndNationalityAct_US ?FORMULA1) (instance ?FORMULA2 Formula) (containsFormula ImmigrationAndNationalityAct_Section219_US ?FORMULA2) (entails ?FORMULA1 ?FORMULA2))) |
Government.kif 2385-2391 | There exist X, Y such that X is an instance of formula, immigration and nationality act_US contains the formula X, Y is an instance of formula, immigration and nationality act- section219-US contains the formula Y, and X entails Y |
|