|
|
   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 16190-16190 | Empresa e' uma sub-classe de LegalAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16706-16706 | Governo e' uma sub-classe de LegalAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 188-188 | HumanAdult e' uma sub-classe de LegalAgent |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65109-65109 |
| 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 |
|
|
|