TreeView Knowledge Base Browser - eventPartlyLocated

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

eventPartlyLocated

Sigma KEE - eventPartlyLocated

eventPartlyLocated

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2113-2114
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3952-3953
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3949-3949	The number 1 argument of event partly located is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3950-3950	The number 2 argument of event partly located is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3942-3942	event partly located is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3943-3943	event partly located is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3970-3970	event partly located is a subrelation of involved in event

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3335-3335
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3334-3334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3333-3333
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3972-3972	event located is a subrelation of event partly located
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10364-10364	path is a subrelation of event partly located
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1852-1852

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 477-483	If a process is an instance of two stroke intake and an object is an instance of Crankcase and the process is partly located at the object, then partial vacuum is an attribute of the object holds during the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3955-3960	If a process is partly located at an object, then there exists another process such that the other process is a subprocess of the process and the other process is located at 2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3945-3947	If a process is partly located at an object, then the process is partly located in the object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3685-3725	If an object is an instance of CarAlarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then the object purpose if an entity is an instance of stealing or the entity is an instance of damaging and another entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and the time of existence of the entity is equal to a third entity and the entity is partly located at a fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 105-113	If a region is surface wind velocity a length measure per a time duration for a directional attribute and the region is an instance of WindFlow, then there exists a process such that the process is an instance of wind and the process is partly located at the region and the measure of the process is the length measure per the time duration in the region in the direction the directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3966-3968	If a process ends up at an object, then the process is partly located at the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3962-3964	If a process originates at an object, then the process is partly located at the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 165-173	If a directional attribute is a surface wind direction of an object, then there exist a process and another object such that the process is an instance of wind and the other object is an instance of region and the process is partly located at the object and the process originates at the other object and the other object is the directional attribute to the object

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