|
|
   LegalAction
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3299-3300 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13404-13405 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13403-13403 | Acao Legal e' uma sub-classe de Contest |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16107-16107 | LegalCharge e' uma sub-classe de Acao Legal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23470-23470 | PlacingUnderArrest e' uma sub-classe de Acao Legal |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1214-1214 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1649-1649 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 892-892 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 425-425 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 428-428 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2576-2576 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 844-844 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 430-430 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 464-464 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 913-913 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 429-429 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Law.kif 445-445 | O argumento numero 1 de attorney e' uma instancia de Acao Legal |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 459-459 | O argumento numero 3 de counselInCase e' uma instancia de Acao Legal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16262-16262 | O argumento numero 1 de defendant e' uma instancia de Acao Legal |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 282-282 | O argumento numero 1 de defenseLawyer e' uma instancia de Acao Legal |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 177-177 | O argumento numero 1 de evidence e' uma instancia de Acao Legal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16269-16269 | O argumento numero 1 de plaintiff e' uma instancia de Acao Legal |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 310-310 | O argumento numero 1 de prosecutor e' uma instancia de Acao Legal |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 209-209 | O argumento numero 1 de witness e' uma instancia de Acao Legal |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16199-16211 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 887-892 |
|
| consequent |
|
|
|
|
|