Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LegalPersonhood(legal personhood) |
| appearance as argument number 1 |
|
| (instance LegalPersonhood RelationalAttribute) | Merge.kif 1681-1681 | Legal personhood is an instance of relational attribute |
| (documentation LegalPersonhood EnglishLanguage "LegalPersonhood is an Attribute of an AutonomousAgent that is allowed by law to act and be treated as a legal person (a juristic person) for certain purposes, such as being a party to a lawsuit, owning property, and entering into a contract. Typically, entities with LegalPersonhood are either adult Humans or Organizations. Depending on the prevailing legal system in a given time and location, Humans in general, as well as other CognitiveAgents, typically have additional legal rights and obligations beyond those accorded to legal persons. See the Wikipedia description of Juristic person.") | Merge.kif 1683-1693 | Legal personhood is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LegalPersonhood "legal personhood") | domainEnglishFormat.kif 65112-65112 |
| antecedent |
|
|
| (<=> (holdsDuring ?TIME (attribute ?AGENT LegalPersonhood)) (holdsDuring ?TIME (or (capability LegalAction agent ?AGENT) (capability LegalAction patient ?AGENT)))) |
Merge.kif 1695-1701 | Legal personhood is an attribute of X holds during Y if and only if X is capable of doing legal action as a agent or X is capable of doing legal action as a patient holds during Y |
| consequent |
|
|
| (=> (instance ?ORG Corporation) (attribute ?ORG LegalPersonhood)) |
Merge.kif 16552-16554 | If X is an instance of corporation, then legal personhood is an attribute of X |
| (=> (instance ?H HumanAdult) (attribute ?H LegalPersonhood)) |
Mid-level-ontology.kif 172-174 | If X is an instance of human adult, then legal personhood is an attribute of X |
|