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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Boarding

Sigma KEE - Boarding
Boarding(boarding)
board, change, get_on, transfer

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


(documentation Boarding EnglishLanguage "Getting on a Vehicle, e.g. getting into an Automobile, boarding an Aircraft, etc.") Mid-level-ontology.kif 17233-17234
(externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Boarding.easyjet.a319.arp.jpg") pictureList.kif 1669-1669
(externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg") pictureList.kif 2119-2119
(relatedInternalConcept Boarding Deboarding) Mid-level-ontology.kif 17274-17274 Boarding is internally related to deboarding
(subclass Boarding Translocation) Mid-level-ontology.kif 17232-17232 Boarding is a subclass of translocation

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


(termFormat ChineseLanguage Boarding "登机") domainEnglishFormat.kif 11431-11431
(termFormat ChineseTraditionalLanguage Boarding "登機") domainEnglishFormat.kif 11430-11430
(termFormat EnglishLanguage Boarding "boarding") domainEnglishFormat.kif 11429-11429

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


(=>
    (and
        (instance ?B Boarding)
        (agent ?B ?A)
        (patient ?B ?V))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (not
                (onboard ?A ?V)))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (onboard ?A ?V))))
Mid-level-ontology.kif 17242-17253
(=>
    (and
        (instance ?B Boarding)
        (patient ?B ?V))
    (instance ?V Vehicle))
Mid-level-ontology.kif 17236-17240

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