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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defendant

Sigma KEE - defendant
defendant

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12963-12964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12965-12965 The number 1 argument of defendant is an instance of legal action
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12966-12966 The number 2 argument of defendant is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12968-12968 defendant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12967-12967 defendant is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3223-3223
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3222-3222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3221-3221
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18885-18885
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18884-18884
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18883-18883

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


No TPTP formula. May not be expressible in strict first order. Law.kif 338-349
No TPTP formula. May not be expressible in strict first order. Law.kif 361-371

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10930-10944


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