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 |
|
| s__instance(s__LegalPersonhood,s__RelationalAttribute)
|
Merge.kif 1681-1681 | Legal personhood is an instance of relational attribute |
| s__documentation(s__LegalPersonhood, s__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 |
|
|
| s__termFormat(s__EnglishLanguage, s__LegalPersonhood, "legal personhood") | domainEnglishFormat.kif 65112-65112 |
| antecedent |
|
|
| ! [V__AGENT : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__LegalPersonhood)) => s__holdsDuring(V__TIME, (s__capability(s__LegalAction, s__agent, V__AGENT) | s__capability(s__LegalAction, s__patient, V__AGENT)))) & (s__holdsDuring(V__TIME, (s__capability(s__LegalAction, s__agent, V__AGENT) | s__capability(s__LegalAction, s__patient, V__AGENT))) => s__holdsDuring(V__TIME, s__attribute(V__AGENT, s__LegalPersonhood))))) | 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 |
|
|
| ! [V__ORG] : ((s__instance(V__ORG,s__Corporation) => s__attribute(V__ORG,s__LegalPersonhood)) )
|
Merge.kif 16552-16554 | If X is an instance of corporation, then legal personhood is an attribute of X |
| ! [V__H] : ((s__instance(V__H,s__HumanAdult) => s__attribute(V__H,s__LegalPersonhood)) )
|
Mid-level-ontology.kif 172-174 | If X is an instance of human adult, then legal personhood is an attribute of X |
|