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 2344-2347
No TPTP formula. May not be expressible in strict first order. Merge.kif 2342-2342 Case role is a subclass of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2340-2340 Case role is a subclass of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2341-2341 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 4123-4123 account used is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2371-2371 agent is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1649-1649 bid amount is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22916-22916 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 12838-12838 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 1888-1888 broker is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22315-22315 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 10860-10860 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 19048-19048 contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22865-22865 controlled is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22971-22971 conveyance is an instance of case role
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1880-1880 data processed is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15707-15707 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 2382-2382 destination is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6443-6443 detainee is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 16662-16662 direction is an instance of case role
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1911-1911 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 3822-3822 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 2695-2695 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 22681-22681 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 22714-22714 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 22695-22701
No TPTP formula. May not be expressible in strict first order. Merge.kif 9503-9509
No TPTP formula. May not be expressible in strict first order. Merge.kif 3829-3835
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2699-2708
No TPTP formula. May not be expressible in strict first order. Merge.kif 2367-2369

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