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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CaseRole
CaseRole(case role), حَالَة الدَّوْر, Role_em_Caso, RuoloSemantico, active, case_role, participating, r�le_d�pendant_du_cas, self, vibhakti_bhUmikaa, 格角色

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2525-2527
No TPTP formula. May not be expressible in strict first order. Merge.kif 2521-2524
No TPTP formula. May not be expressible in strict first order. Merge.kif 2520-2520 Case role is a subclass of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2518-2518 Case role is a subclass of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2519-2519 Case role is a subclass of inheritable relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 105-105
No TPTP formula. May not be expressible in strict first order. Merge.kif 2552-2552 agent is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1650-1650 bid amount is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20992-20992 arrested is an instance of case role
No TPTP formula. May not be expressible in strict first order. Law.kif 266-266 arresting officer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 12891-12891 attends is an instance of case role
No TPTP formula. May not be expressible in strict first order. Law.kif 483-483 attorney is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1886-1886 broker is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20359-20359 cargo is an instance of case role
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 205-205 catalyst is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 10812-10812 changes location is an instance of case role
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 196-196 computer running is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17096-17096 contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20941-20941 controlled is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21049-21049 conveyance is an instance of case role
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1871-1871 data processed is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13652-13652 defendant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Law.kif 319-319 defense lawyer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2565-2565 destination is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6438-6438 detainee is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 17109-17109 direction is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1909-1909 eCommerceSite is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7029-7029 enjoys is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 4217-4217 event located is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 4188-4188 event partly located is an instance of case role

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4004-4004 The number 2 argument of capability is an instance of case role
No TPTP formula. May not be expressible in strict first order. Dining.kif 875-875 The number 2 argument of capable during is an instance of case role
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2601-2601 The number 2 argument of capable at location is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20746-20746 The number 2 argument of plays role in event is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20783-20783 The number 2 argument of plays role in event of type is an instance of case role

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20764-20770
No TPTP formula. May not be expressible in strict first order. Merge.kif 9487-9493
No TPTP formula. May not be expressible in strict first order. Merge.kif 4012-4018
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2605-2614
No TPTP formula. May not be expressible in strict first order. Merge.kif 2548-2550

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


No TPTP formula. May not be expressible in strict first order. Media.kif 119-121 A relation is a subrelation of involved in event if and only if the relation is an instance of case role


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners