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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defendant
defendant

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13935-13936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13937-13937 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 13938-13938 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 13940-13940 defendant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13939-13939 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 18892-18892
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18891-18891
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18890-18890

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 11799-11813


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 is open source software produced by Articulate Software and its partners