CaseRole - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CaseRole EnglishLanguage "The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain.")	Merge.kif 2440-2443
(subclass CaseRole AsymmetricRelation)	Merge.kif 2438-2438	Case role is a subclass of asymmetric relation
(subclass CaseRole BinaryPredicate)	Merge.kif 2436-2436	Case role is a subclass of binary predicate
(subclass CaseRole InheritableRelation)	Merge.kif 2437-2437	Case role is a subclass of inheritable relation

appearance as argument number 2

(format ChineseLanguage CaseRole "%2 %n 是 %1 的 case 角色")	domainEnglishFormat.kif 384-384
(format ChineseTraditionalLanguage CaseRole "%2 %n 是 %1 的 case 角色")	domainEnglishFormat.kif 383-383
(format EnglishLanguage CaseRole "%2 is %n a case role of %1")	domainEnglishFormat.kif 382-382
(instance agent CaseRole)	Merge.kif 2467-2467	agent is an instance of case role
(instance amountOfBid CaseRole)	UXExperimentalTerms.kif 1446-1446	bid amount is an instance of case role
(instance arrested CaseRole)	Mid-level-ontology.kif 25616-25616	arrested is an instance of case role
(instance arrestingOfficer CaseRole)	Law.kif 227-227	arresting officer is an instance of case role
(instance attends CaseRole)	Merge.kif 13260-13260	attends is an instance of case role
(instance attorney CaseRole)	Law.kif 449-449	attorney is an instance of case role
(instance broker CaseRole)	UXExperimentalTerms.kif 1680-1680	broker is an instance of case role
(instance cargo CaseRole)	Mid-level-ontology.kif 25015-25015	cargo is an instance of case role
(instance catalyst CaseRole)	VirusProteinAndCellPart.kif 254-254	catalyst is an instance of case role
(instance changesLocation CaseRole)	Merge.kif 11150-11150	changes location is an instance of case role
(instance computerRunning CaseRole)	QoSontology.kif 202-202	computer running is an instance of case role
(instance contestParticipant CaseRole)	Mid-level-ontology.kif 21406-21406	contest participant is an instance of case role
(instance controlled CaseRole)	Mid-level-ontology.kif 25565-25565	controlled is an instance of case role
(instance conveyance CaseRole)	Mid-level-ontology.kif 25671-25671	conveyance is an instance of case role
(instance dataProcessed CaseRole)	QoSontology.kif 2006-2006	data processed is an instance of case role
(instance defendant CaseRole)	Mid-level-ontology.kif 17728-17728	defendant is an instance of case role
(instance defenseLawyer CaseRole)	Law.kif 284-284	defense lawyer is an instance of case role
(instance destination CaseRole)	Merge.kif 2478-2478	destination is an instance of case role
(instance detainee CaseRole)	Mid-level-ontology.kif 7939-7939	detainee is an instance of case role
(instance eCommerceSite CaseRole)	UXExperimentalTerms.kif 1703-1703	e_commerce site is an instance of case role
(instance eventLocated CaseRole)	Merge.kif 4166-4166	event located is an instance of case role
(instance eventPartlyLocated CaseRole)	Merge.kif 4133-4133	event partly 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

(domain capability 2 CaseRole)	Merge.kif 3941-3941	The number 2 argument of capability is an instance of case role
(domain capabilityDuring 2 CaseRole)	Dining.kif 918-918	The number 2 argument of capable during is an instance of case role
(domain capableAtLocation 2 CaseRole)	Transportation.kif 3269-3269	The number 2 argument of capable at location is an instance of case role
(domain playsRoleInEvent 2 CaseRole)	Mid-level-ontology.kif 25381-25381	The number 2 argument of plays role in event is an instance of case role
(domain playsRoleInEventOfType 2 CaseRole)	Mid-level-ontology.kif 25414-25414	The number 2 argument of plays role in event of type is an instance of case role

antecedent

(=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	Mid-level-ontology.kif 25395-25401	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
(=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ)))	Merge.kif 9759-9765	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
(=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2))	Merge.kif 3948-3954	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
(=> (and (subclass ?TYPE Translocation) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (capability ?TYPE ?ROLE ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))	Transportation.kif 3273-3282	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
(=> (instance ?R CaseRole) (subrelation ?R involvedInEvent))	Merge.kif 2463-2465	If a relation is an instance of case role, then the relation is a subrelation of involved in event

consequent

(<=>
(subrelation ?PRED involvedInEvent)
(instance ?PRED CaseRole))

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: