|
|
  Law
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3909-3910 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17511-17514 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2591-2591 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2482-2482 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2592-2592 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2590-2590 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17510-17510 | Law est une instance de deontic attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17509-17509 | Law est un sous-attribut de Obligation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3170-3170 | L'argument AmericansWithDisabilitiesAct-US a la force modale de Law |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2407-2407 | L'argument AntiterrorismAndEffectiveDeathPenaltyAct a la force modale de Law |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2405-2405 | L'argument ImmigrationAndNationalityAct-Section219-US a la force modale de Law |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2402-2402 | L'argument ImmigrationAndNationalityAct-US a la force modale de Law |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13834-13834 | InternationalLaw est un sous-attribut de Law |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33539-33539 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33538-33538 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33537-33537 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13813-13818 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13849-13856 | L'argument formule a la force modale de Legal formule l'argument formule a la force modale de Law consistent formule and formule |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 875-879 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 995-1000 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13825-13831 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16226-16238 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13861-13868 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 871-873 |
|
|
|
