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 2415-2418
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 2413-2413	Case role is a subclass of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2411-2411	Case role is a subclass of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2412-2412	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 2442-2442	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 25114-25114	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 13238-13238	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 24513-24513	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 11128-11128	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 25063-25063	controlled is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25169-25169	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 2453-2453	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 4141-4141	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 3916-3916	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 24879-24879	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 24912-24912	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 24893-24899	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 9737-9743	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 3923-3929	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 2438-2440	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: