TreeView Knowledge Base Browser

appearance as argument number 1

(subclass LegalSummons Ordering)	Mid-level-ontology.kif 17855-17855	Legal summons is a subclass of ordering
(subclass LegalSummons JudicialProcess)	Mid-level-ontology.kif 17856-17856	Legal summons is a subclass of judicial process
(documentation LegalSummons EnglishLanguage "An official order that a person appear at a CourtRoom at a specified time.")	Mid-level-ontology.kif 17857-17858	Legal summons is a subclass of judicial process
(externalImage LegalSummons "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Jury_summons.jpg")	pictureList.kif 4925-4925	Legal summons is a subclass of judicial process

appearance as argument number 2

(termFormat EnglishLanguage LegalSummons "legal summons")	domainEnglishFormat.kif 33859-33859
(termFormat ChineseTraditionalLanguage LegalSummons "法律傳票")	domainEnglishFormat.kif 33860-33860
(termFormat ChineseLanguage LegalSummons "法律传票")	domainEnglishFormat.kif 33861-33861

antecedent

(=>
    (and
        (instance ?S LegalSummons)
        (patient ?S ?O)
        (destination ?S ?P))
    (exists (?C ?T)
        (and
            (instance ?C CourtRoom)
            (containsFormula ?S
                (modalAttribute
                    (holdsDuring ?T
                        (located ?O ?C)) Law)))))

If X is an instance of legal summons, Y is a patient of X, and X ends up at Z, then there exist W, V such that W is an instance of court room, and X contains the formula the statement Y is located at W holds during V has the modal force of law