| LegalSummons(legal summons)
| | citation, judicial_writ, monition, process, process_of_monition, summons, ticket, writ |
| appearance as argument number 1 |
|
|
| (documentation LegalSummons EnglishLanguage "An official order that a person appear at a CourtRoom at a specified time.") | Mid-level-ontology.kif 17152-17153 | |
| (externalImage LegalSummons "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Jury_summons.jpg") | pictureList.kif 4925-4925 | |
| (subclass LegalSummons JudicialProcess) | Mid-level-ontology.kif 17151-17151 | Legal summons is a subclass of judicial process |
| (subclass LegalSummons Ordering) | Mid-level-ontology.kif 17150-17150 | Legal summons is a subclass of ordering |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LegalSummons "法律传票") | domainEnglishFormat.kif 33885-33885 | |
| (termFormat ChineseTraditionalLanguage LegalSummons "法律傳票") | domainEnglishFormat.kif 33884-33884 | |
| (termFormat EnglishLanguage LegalSummons "legal summons") | domainEnglishFormat.kif 33883-33883 |
| antecedent |
|
|
| (=> (and (instance ?S LegalSummons) (patient ?S ?O) (destination ?S ?P)) (exists (?C ?T) (and (instance ?C CourtRoom) (containsInformation ?O (modalAttribute (holdsDuring ?T (located ?P ?C)) Law))))) |
Mid-level-ontology.kif 17155-17167 |
|
|
|
|