LegalSummons |
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 16251-16252 | |
(externalImage LegalSummons "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Jury_summons.jpg") | pictureList.kif 4926-4926 | |
(subclass LegalSummons JudicialProcess) | Mid-level-ontology.kif 16250-16250 | LegalSummons e' uma sub-classe de JudicialProcess |
(subclass LegalSummons Ordering) | Mid-level-ontology.kif 16249-16249 | LegalSummons e' uma sub-classe de Ordenar |
appearance as argument number 2 |
(termFormat ChineseLanguage LegalSummons "法律传票") | domainEnglishFormat.kif 33857-33857 | |
(termFormat ChineseTraditionalLanguage LegalSummons "法律傳票") | domainEnglishFormat.kif 33856-33856 | |
(termFormat EnglishLanguage LegalSummons "legal summons") | domainEnglishFormat.kif 33855-33855 |
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 16254-16266 |
|