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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CaseRole

Sigma KEE - CaseRole
CaseRole(case role)active, participating, self

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1860-1862
No TPTP formula. May not be expressible in strict first order. Merge.kif 2404-2407
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 483-485
No TPTP formula. May not be expressible in strict first order. Merge.kif 2402-2402 Case role is a subclass of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2400-2400 Case role is a subclass of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2401-2401 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 384-384
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 383-383
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 382-382
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4160-4160 account used is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2431-2431 agent is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1446-1446 bid amount is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23473-23473 arrested is an instance of case role
No TPTP formula. May not be expressible in strict first order. Law.kif 226-226 arresting officer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 13084-13084 attends is an instance of case role
No TPTP formula. May not be expressible in strict first order. Law.kif 443-443 attorney is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1680-1680 broker is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22872-22872 cargo is an instance of case role
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 250-250 catalyst is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 10990-10990 changes location is an instance of case role
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 201-201 computer running is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19678-19678 contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23422-23422 controlled is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23528-23528 conveyance is an instance of case role
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1875-1875 data processed is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16266-16266 defendant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Law.kif 280-280 defense lawyer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2442-2442 destination is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6783-6783 detainee is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1703 e-commerce site is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 4120-4120 event 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 3903-3903 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 918-918 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 2688-2688 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 23238-23238 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 23271-23271 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 23252-23258
No TPTP formula. May not be expressible in strict first order. Merge.kif 9601-9607
No TPTP formula. May not be expressible in strict first order. Merge.kif 3910-3916
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2692-2701
No TPTP formula. May not be expressible in strict first order. Merge.kif 2427-2429

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