CaseRole - Sigma Knowledge base Browser

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 23525-23525	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 13130-13130	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 22924-22924	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 11024-11024	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 19705-19705	contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23474-23474	controlled is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23580-23580	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 16293-16293	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 6810-6810	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 4121-4121	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 3904-3904	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 2733-2733	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 23290-23290	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 23323-23323	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 23304-23310	If a case role a process and an object and the case role is an instance of case role and the process is an instance of process and the object is an instance of object, then the object plays role in event the case role for the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9637-9643	If an entity is an instance of case role and an object is an instance of object and the entity a physical and the object, then there exists a time point such that the place where the physical was at the time point and the object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3911-3917	If a case role is an instance of case role and the case role an entity and an object and the entity is an instance of a kind of process and a kind of process is a subclass of process, then the object is capable of doing the kind of process as a the case role
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2737-2746	If a kind of process is a subclass of translocation and another process is an instance of a kind of process and the other process is located at a region and a case role is an instance of case role and an object is an instance of object and the region is an instance of geographic area and the object is capable of doing the kind of process as a the case role, then the kind of process capable at location the case role for the object with the region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2427-2429	If a relation is an instance of case role, then the relation is a subrelation of involved in event

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

KB Term:			Term intersection

English Word: