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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2309-2312
No TPTP formula. May not be expressible in strict first order. Merge.kif 2307-2307 Case role is a subclass of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2305-2305 Case role is a subclass of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2306-2306 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 4101-4101 account used is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2336-2336 agent is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1648-1648 bid amount is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21428-21428 arrested is an instance of case role
No TPTP formula. May not be expressible in strict first order. Law.kif 269-269 arresting officer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 12169-12169 attends is an instance of case role
No TPTP formula. May not be expressible in strict first order. Law.kif 487-487 attorney is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1885-1885 broker is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20795-20795 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 10295-10295 changes location is an instance of case role
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 199-199 computer running is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17487-17487 contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21377-21377 controlled is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21485-21485 conveyance is an instance of case role
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1881-1881 data processed is an instance of case role
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. Law.kif 323-323 defense lawyer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2347-2347 destination is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6422-6422 detainee is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 15801-15801 direction is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1908-1908 eCommerceSite 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 3772-3772 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 871-871 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 2666-2666 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 21182-21182 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 21219-21219 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 21200-21206
No TPTP formula. May not be expressible in strict first order. Merge.kif 9060-9066
No TPTP formula. May not be expressible in strict first order. Merge.kif 3779-3785
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2670-2679
No TPTP formula. May not be expressible in strict first order. Merge.kif 2332-2334

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