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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Deboarding
Deboarding(deboarding)get_off

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 18970-18971
(subclass Deboarding Translocation) Mid-level-ontology.kif 18968-18968 Deboarding is a subclass of translocation

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


(relatedInternalConcept Boarding Deboarding) Mid-level-ontology.kif 18969-18969 Boarding is internally related to deboarding
(termFormat ChineseLanguage Deboarding "deboarding") domainEnglishFormat.kif 18813-18813 Boarding is internally related to deboarding
(termFormat ChineseTraditionalLanguage Deboarding "deboarding") domainEnglishFormat.kif 18812-18812 Boarding is internally related to deboarding
(termFormat EnglishLanguage Deboarding "deboarding") domainEnglishFormat.kif 18811-18811 Boarding is internally related to deboarding

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 18978-18990
(=>
    (and
        (instance ?B Deboarding)
        (patient ?B ?VEHICLE))
    (instance ?VEHICLE Vehicle))
Mid-level-ontology.kif 18972-18976

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


(=>
    (instance ?S AirportStagingArea)
    (hasPurpose ?S
        (exists (?DB ?C ?D ?T)
            (and
                (instance ?DB Deboarding)
                (instance ?C Collection)
                (instrument ?DB ?C)
                (member ?D ?C)
                (instance ?D Device)
                (locatedAtTime ?C ?T ?S)
                (during ?T
                    (WhenFn ?DB))))))
Transportation.kif 1331-1342
(=>
    (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 2129-2140


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