Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Pleading
Pleading(pleading)affirmative_pleading, alternative_pleading, answer, charge, complaint, defective_pleading, demurrer, libel, plead, pleading, pleading_in_the_alternative, rebuttal, rebutter, rejoinder, replication, special_pleading, surrebuttal, surrebutter, surrejoinder

appearance as argument number 1
-------------------------


(subclass Pleading Stating) Mid-level-ontology.kif 17732-17732 Pleading is a subclass of stating
(documentation Pleading EnglishLanguage "Stating in a court of law a claim about whether or not one is guilty of the crime of which one has been accused.") Mid-level-ontology.kif 17733-17734 Pleading is a subclass of stating

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


(termFormat EnglishLanguage Pleading "pleading") domainEnglishFormat.kif 46277-46277
(termFormat ChineseTraditionalLanguage Pleading "懇求") domainEnglishFormat.kif 46278-46278
(termFormat ChineseLanguage Pleading "恳求") domainEnglishFormat.kif 46279-46279

antecedent
-------------------------


(=>
    (instance ?P Pleading)
    (exists (?J)
        (and
            (instance ?J JudicialProcess)
            (subProcess ?P ?J))))		 Mid-level-ontology.kif 17736-17741 If X is an instance of pleading, then there exists Y such that Y is an instance of judicial process and X is a subprocess of Y
(=>
    (instance ?P Pleading)
    (exists (?C)
        (and
            (instance ?C CriminalAction)
            (refers ?P ?C))))		 Mid-level-ontology.kif 17743-17748 If X is an instance of pleading, then there exists Y such that Y is an instance of criminal action and X includes a reference to Y


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners