Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Testifying(testifying) |  | attest, attestation, bear_witness, subornation, take_the_stand, testify, testimony |
| appearance as argument number 1 |
|
|
| (subclass Testifying Stating) | Mid-level-ontology.kif 17795-17795 | Testifying is a subclass of stating |
| (documentation Testifying EnglishLanguage "Giving testimony as part of a JudicialProcess.") | Mid-level-ontology.kif 17796-17796 | Testifying is a subclass of stating |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|