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


s__documentation(s__defendant__m,s__EnglishLanguage,'"(defendant ?AGENT ?ACTION) means the LegalAction ?ACTION makes a legal claim against ?AGENT."')

Mid-level-ontology.kif 15402-15403
s__domain(s__defendant__m,n__1,s__LegalAction)

Mid-level-ontology.kif 15404-15404 The number 1 argument of defendant is an instance of legal action
s__domain(s__defendant__m,n__2,s__CognitiveAgent)

Mid-level-ontology.kif 15405-15405 The number 2 argument of defendant is an instance of cognitive agent
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__defendant__m,s__CaseRole)

Mid-level-ontology.kif 15407-15407 defendant is an instance of case role
s__subrelation(s__defendant__m,s__patient__m)

Mid-level-ontology.kif 15406-15406 defendant is a subrelation of patient

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


s__format(s__ChineseLanguage,s__defendant__m,'"%2 是在 %1 的 defendant "')

domainEnglishFormat.kif 3223-3223
s__format(s__ChineseTraditionalLanguage,s__defendant__m,'"%2 是在 %1 的 defendant "')

domainEnglishFormat.kif 3222-3222
s__format(s__EnglishLanguage,s__defendant__m,'"%2 is the defendant in %1"')

domainEnglishFormat.kif 3221-3221
s__termFormat(s__ChineseLanguage,s__defendant__m,'"被告"')

domainEnglishFormat.kif 18885-18885
s__termFormat(s__ChineseTraditionalLanguage,s__defendant__m,'"被告"')

domainEnglishFormat.kif 18884-18884
s__termFormat(s__EnglishLanguage,s__defendant__m,'"defendant"')

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 13340-13354


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