No TPTP formula. May not be expressible in strict first order. | Merge.kif 1586-1586 | LegalAgent est une sous-classe de attribut relationnel |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 188-188 | HumanAdult est une sous-classe de LegalAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16212-16212 | Corporation est une sous-classe de LegalAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16728-16728 | Gouvernement est une sous-classe de LegalAgent |
![]() |