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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Entering
Entering

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


(disjoint Entering Exiting) Mid-level-ontology.kif 17459-17459 Entering と Exiting は disjoint では %n
(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 required the object to go through a specified entrance.") Mid-level-ontology.kif 17456-17458 Entering と Exiting は disjoint では %n
(subclass Entering Translocation) Mid-level-ontology.kif 17455-17455 Entering は Translocation の subclass では %n

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


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

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


(=>
    (and
        (instance ?E Entering)
        (destination ?E ?F)
        (attribute ?F PhysicallyRestrictedRegion)
        (not
            (entrance ?R ?F)))
    (modalAttribute
        (path ?E ?R) Prohibition))		 Mid-level-ontology.kif 6918-6926
(=>
    (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 6907-6916
(=>
    (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 17461-17474

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 6872-6883
(=>
    (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 6885-6897


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