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 15006-15007
(subclass Deboarding Translocation) Mid-level-ontology.kif 15004-15004

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


(relatedInternalConcept Boarding Deboarding) Mid-level-ontology.kif 15005-15005
(termFormat ChineseLanguage Deboarding "deboarding") domainEnglishFormat.kif 18802-18802
(termFormat ChineseTraditionalLanguage Deboarding "deboarding") domainEnglishFormat.kif 18801-18801
(termFormat EnglishLanguage Deboarding "deboarding") domainEnglishFormat.kif 18800-18800

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 15014-15026
(=>
    (and
        (instance ?B Deboarding)
        (patient ?B ?VEHICLE))
    (instance ?VEHICLE Vehicle))
Mid-level-ontology.kif 15008-15012

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 3.0 is open source software produced by Articulate Software and its partners