Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  LegalSummons

Sigma KEE - LegalSummons
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 16224-16225
(externalImage LegalSummons "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Jury_summons.jpg") pictureList.kif 4926-4926
(subclass LegalSummons JudicialProcess) Mid-level-ontology.kif 16223-16223 Legal summons is a subclass of judicial process
(subclass LegalSummons Ordering) Mid-level-ontology.kif 16222-16222 Legal summons is a subclass of ordering

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 16227-16239


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners