Entering - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Entering

Entering(entering)

appearance as argument number 1

(disjoint Entering Exiting)	Mid-level-ontology.kif 18582-18582	Entering is disjoint from exiting
(documentation Entering EnglishLanguage "Entering is a subclass of Translocation in which an object go into a Region. Entering itself, unlike the relation entrance, does not require that the object to go through a specified entrance.")	Mid-level-ontology.kif 18579-18581	Entering is disjoint from exiting
(subclass Entering Translocation)	Mid-level-ontology.kif 18578-18578	Entering is a subclass of translocation

appearance as argument number 2

(termFormat EnglishLanguage Entering "entering")

domainEnglishFormat.kif 22193-22193

antecedent

(=> (and (instance ?E Entering) (destination ?E ?F) (attribute ?F PhysicallyRestrictedRegion) (not (entrance ?R ?F))) (modalAttribute (path ?E ?R) Prohibition))	Mid-level-ontology.kif 7857-7865	If a process is an instance of entering and the process ends up at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
(=> (and (instance ?E Entering) (destination ?E ?F) (attribute ?F PhysicallyRestrictedRegion)) (modalAttribute (exists (?R) (and (entrance ?R ?F) (path ?E ?R))) Obligation))	Mid-level-ontology.kif 7846-7855	If a process is an instance of entering and the process ends up at an object and physically restricted region is an attribute of the object, then the statement there exists an entity such that the entity is the entrance for the object and the entity is path along which the process occurs has the modal force of obligation
(=> (instance ?E Entering) (exists (?R ?A) (and (instance ?R Region) (destination ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Outside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Inside)))))	Mid-level-ontology.kif 18584-18597	If a process is an instance of entering, then there exist an entity and an agent such that the entity is an instance of region and the process ends up at the entity and the agent is an agent of the process and the agent is an instance of agent and the agent is outside to the entity holds during the beginning of the time of existence of the process and the agent is inside to the entity holds during the end of the time of existence of the process

consequent

(=> (and (instance ?F Facility) (attribute ?F PhysicallyRestrictedRegion) (entrance ?R ?F)) (hasPurpose ?R (exists (?E) (and (or (instance ?E Entering) (instance ?E Exiting)) (path ?E ?R)))))	Mid-level-ontology.kif 7811-7822	If a region is an instance of Facility and physically restricted region is an attribute of the region and another region is the entrance for the region , then the other region has the purpose there exists an entity such that the entity is an instance of entering or the entity is an instance of exiting and the other region is path along which the entity occurs
(=> (and (instance ?F Facility) (attribute ?F PhysicallyRestrictedRegion)) (modalAttribute (exists (?E ?R) (and (or (instance ?E Entering) (instance ?E Exiting)) (path ?E ?R) (not (entrance ?R ?F)))) Unlikely))	Mid-level-ontology.kif 7824-7836	If an object is an instance of Facility and physically restricted region is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of entering or the entity is an instance of exiting and the other entity is path along which the entity occurs and not the other entity is the entrance for the object has the modal force of unlikely

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