Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Entering
Entering(entering)

appearance as argument number 1
-------------------------


(subclass Entering Translocation) Mid-level-ontology.kif 18823-18823 Entering is a subclass of translocation
(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 18824-18826 Entering is a subclass of translocation
(disjoint Entering Exiting) Mid-level-ontology.kif 18827-18827 Entering is disjoint from exiting

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Entering "entering") domainEnglishFormat.kif 22187-22187

antecedent
-------------------------


(=>
    (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 8005-8014 If X is an instance of entering, X ends up at Y, and physically restricted region is an attribute of Y, then the statement there exists Z such that Z is the entrance for Y and Z is path along which X occurs has the modal force of obligation
(=>
    (and
        (instance ?E Entering)
        (destination ?E ?F)
        (attribute ?F PhysicallyRestrictedRegion)
        (not
            (entrance ?R ?F)))
    (modalAttribute
        (path ?E ?R) Prohibition))		 Mid-level-ontology.kif 8016-8024 If X is an instance of entering, X ends up at Y, physically restricted region is an attribute of Y, and Z is the entrance for Y, then the statement Z is path along which X occurs has the modal force of prohibition
(=>
    (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 18829-18842 If X is an instance of entering, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of region (3) X ends up at Y (4) Z is an agent of X (5) Z is an instance of agent (6) Z is outside of to Y holds during the beginning of the time of existence of X (7) Z is inside the to Y holds during the end of the time of existence of X

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 7970-7981 If X is an instance of Facility, physically restricted region is an attribute of X, and Y is the entrance for X, then Y has the purpose there exists Z such that Z is an instance of entering or Z is an instance of exiting and Y is path along which Z 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 7983-7995 If X is an instance of Facility and physically restricted region is an attribute of X, then the statement there exist Y, Z such that Y is an instance of entering or Y is an instance of exiting, Z is path along which Y occurs, and Z is the entrance for X 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners