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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Deboarding
Deboarding

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


(documentation Deboarding EnglishLanguage "Getting off a Vehicle, e.g. getting out of an Automobile, deplaning, getting off a WaterVehicle, etc.") Mid-level-ontology.kif 14978-14979
(subclass Deboarding Translocation) Mid-level-ontology.kif 14976-14976

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


(relatedInternalConcept Boarding Deboarding) Mid-level-ontology.kif 14977-14977
(termFormat ChineseLanguage Deboarding "deboarding") domainEnglishFormat.kif 18733-18733
(termFormat ChineseTraditionalLanguage Deboarding "deboarding") domainEnglishFormat.kif 18732-18732
(termFormat EnglishLanguage Deboarding "deboarding") domainEnglishFormat.kif 18731-18731

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


(=>
    (and
        (instance ?B Deboarding)
        (agent ?B ?A)
        (patient ?B ?V))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (onboard ?A ?V))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (not
                (onboard ?A ?V)))))
Mid-level-ontology.kif 14986-14998
(=>
    (and
        (instance ?B Deboarding)
        (patient ?B ?VEHICLE))
    (instance ?VEHICLE Vehicle))
Mid-level-ontology.kif 14980-14984

consequent
-------------------------


(=>
    (instance ?X BusStop)
    (hasPurpose ?X
        (exists (?B ?BO ?D)
            (and
                (instance ?B Bus)
                (instance ?BO Boarding)
                (instance ?D Deboarding)
                (eventLocated ?BO ?X)
                (eventLocated ?D ?X)
                (patient ?BO ?B)
                (patient ?D ?B)))))
Transportation.kif 1979-1990


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners