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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Deboarding

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 17419-17420
(subclass Deboarding Translocation) Mid-level-ontology.kif 17417-17417

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


(relatedInternalConcept Boarding Deboarding) Mid-level-ontology.kif 17418-17418
(termFormat ChineseLanguage Deboarding "deboarding") domainEnglishFormat.kif 18804-18804
(termFormat ChineseTraditionalLanguage Deboarding "deboarding") domainEnglishFormat.kif 18803-18803
(termFormat EnglishLanguage Deboarding "deboarding") domainEnglishFormat.kif 18802-18802

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 17427-17439
(=>
    (and
        (instance ?B Deboarding)
        (patient ?B ?VEHICLE))
    (instance ?VEHICLE Vehicle))
Mid-level-ontology.kif 17421-17425

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 1989-2000


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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