Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (instance ImmigrationAndNationalityAct_US Proposition) | Government.kif 2371-2371 | Immigration and nationality act_US is an instance of proposition |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ImmigrationAndNationalityAct_US "immigration and nationality act_US") | domainEnglishFormat.kif 29387-29387 | |
| (termFormat ChineseTraditionalLanguage ImmigrationAndNationalityAct_US "移民和國籍行為") | domainEnglishFormat.kif 29388-29388 | |
| (termFormat ChineseLanguage ImmigrationAndNationalityAct_US "移民和国籍行为") | domainEnglishFormat.kif 29389-29389 |
| statement |
|
|
| (exists (?FORMULA) (and (instance ?FORMULA Formula) (containsFormula ImmigrationAndNationalityAct_US ?FORMULA) (modalAttribute ?FORMULA Law))) |
Government.kif 2372-2376 | There exists X such that X is an instance of formula, immigration and nationality act_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 |
|