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 2400-2403
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 2398-2398	Case role is a subclass of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2396-2396	Case role is a subclass of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2397-2397	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 4155-4155	account used is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2427-2427	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 25116-25116	arrested is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Law.kif 227-227	arresting officer is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13223-13223	attends is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Law.kif 449-449	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 24515-24515	cargo is an instance of case role
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 254-254	catalyst is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11113-11113	changes location is an instance of case role
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 202-202	computer running is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21249-21249	contest participant is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25065-25065	controlled is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25171-25171	conveyance is an instance of case role
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2006-2006	data processed is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17653-17653	defendant is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Law.kif 284-284	defense lawyer is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2438-2438	destination is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7944-7944	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 4126-4126	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 3901-3901	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 3219-3219	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 24881-24881	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 24914-24914	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 24895-24901	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 9722-9728	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 3908-3914	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 3223-3232	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 2423-2425	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: