Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  currentAccountBalance
|
|
|
| appearance as argument number 1 |
|
|
| (subclass JudicialProcess PoliticalProcess) | Merge.kif 11018-11018 | Judicial process is a subclass of political process |
| (documentation JudicialProcess EnglishLanguage "Any legal proceeding which is conducted by a JudicialOrganization. Note that there is an important difference between the concepts LegalAction and JudicialProcess. The former refers to legal claims that are brought by a plaintiff, e.g. law suits, while the second refers to trials and other sorts of judicial hearings where the merits of a LegalAction are decided.") | Merge.kif 11020-11025 | Judicial process is a subclass of political process |
| (externalImage JudicialProcess "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Witness_impeachment.jpg") | pictureList.kif 4914-4914 | Judicial process is a subclass of political process |
| (externalImage JudicialProcess "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Jury_selection_-_Faulk.jpg") | pictureList.kif 5036-5036 | Judicial process is a subclass of political process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?PROCESS JudicialProcess) (agent ?PROCESS ?ORG) (instance ?ORG Organization)) (instance ?ORG JudicialOrganization)) |
Merge.kif 11027-11032 | If X is an instance of judicial process, Y is an agent of X, and Y is an instance of organization, then Y is an instance of judicial organization |
| (=> (instance ?PROCESS JudicialProcess) (exists (?ROOM) (and (instance ?ROOM CourtRoom) (eventLocated ?PROCESS ?ROOM)))) |
Mid-level-ontology.kif 17809-17814 | If X is an instance of judicial process, then there exists Y such that Y is an instance of court room and X is located at Y |
| consequent |
|
|
| (=> (instance ?P Pleading) (exists (?J) (and (instance ?J JudicialProcess) (subProcess ?P ?J)))) |
Mid-level-ontology.kif 17736-17741 | If X is an instance of pleading, then there exists Y such that Y is an instance of judicial process and X is a subprocess of Y |
| (=> (instance ?TESTIFY Testifying) (exists (?PROC) (and (instance ?PROC JudicialProcess) (subProcess ?TESTIFY ?PROC)))) |
Mid-level-ontology.kif 17798-17803 | If X is an instance of testifying, then there exists Y such that Y is an instance of judicial process and X is a subprocess of Y |
|
