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


KB Term:  Term intersection
English Word: 

  RollingStock

 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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners