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 17560-17563 | |
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 17559-17559 | Law e' uma instancia de Atributo Deontico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17558-17558 | Law e' um sub-atributo de Obligation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3170-3170 | O argumento AmericansWithDisabilitiesAct-US tem a forca modal de Law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2371-2371 | O argumento AntiterrorismAndEffectiveDeathPenaltyAct tem a forca modal de Law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2369-2369 | O argumento ImmigrationAndNationalityAct-Section219-US tem a forca modal de Law |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2366-2366 | O argumento ImmigrationAndNationalityAct-US tem a forca modal de Law |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13862-13862 | InternationalLaw e' um sub-atributo 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 13841-13846 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13877-13884 | O argumento Formula tem a forca modal de Legal Formula o argumento Formula tem a forca modal de Law consistent Formula and Formula |
No TPTP formula. May not be expressible in strict first order. | Government.kif 839-843 |
|
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 13853-13859 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16254-16266 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13889-13896 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 835-837 |