| LegalAgent | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1693-1697 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1588-1599 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 287-293 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1586-1586 | LegalAgent e' uma sub-classe de Atributo Relacional |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16261-16261 | Empresa e' uma sub-classe de LegalAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16777-16777 | Governo e' uma sub-classe de LegalAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 181-181 | HumanAdult e' uma sub-classe de LegalAgent |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65111-65111 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1601-1607 | LegalAgent e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer Acao Legal no role agent Entidade e' capaz de fazer Acao Legal no role patient vale durante Posicao Temporal |
|
|
|