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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LegalSummons
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 13870-13871
(externalImage LegalSummons "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Jury_summons.jpg") pictureList.kif 4927-4927 externalImage LegalSummons and "http://upload.wikimedia.org/wikipedia/commons/3/33/ Jury_summons.jpg"
(subclass LegalSummons JudicialProcess) Mid-level-ontology.kif 13869-13869 subclass LegalSummons and JudicialProcess
(subclass LegalSummons Ordering) Mid-level-ontology.kif 13868-13868 subclass LegalSummons and Ordering

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage LegalSummons "法律传票") domainEnglishFormat.kif 33769-33769 termFormat ChineseLanguage, LegalSummons and "法律传票"
(termFormat ChineseTraditionalLanguage LegalSummons "法律傳票") domainEnglishFormat.kif 33768-33768 termFormat ChineseTraditionalLanguage, LegalSummons and "法律傳票"
(termFormat EnglishLanguage LegalSummons "legal summons") domainEnglishFormat.kif 33767-33767 termFormat EnglishLanguage, LegalSummons and "legal summons"

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 13873-13885


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners