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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

VerbNet: butter-9.9|board, butter-9.9|board,


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 14938-14939
(externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Boarding.easyjet.a319.arp.jpg") pictureList.kif 1669-1669 "http://upload.wikimedia.org/wikipedia/commons/6/68/ Boarding.easyjet.a319.arp.jpg" is a URL depicting boarding
(externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg") pictureList.kif 2119-2119 "http://upload.wikimedia.org/wikipedia/commons/e/e2/ CBP_female_officers_going_aboard_a_ship.jpg" is a URL depicting boarding
(relatedInternalConcept Boarding Deboarding) Mid-level-ontology.kif 14978-14978 Boarding is internally related to deboarding
(subclass Boarding Translocation) Mid-level-ontology.kif 14937-14937 Boarding is a subclass of translocation

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


(termFormat ChineseLanguage Boarding "登机") domainEnglishFormat.kif 11371-11371 "登机" is the printable form of boarding in ChineseLanguage
(termFormat ChineseTraditionalLanguage Boarding "登機") domainEnglishFormat.kif 11370-11370 "登機" is the printable form of boarding in ChineseTraditionalLanguage
(termFormat EnglishLanguage Boarding "boarding") domainEnglishFormat.kif 11369-11369 "boarding" is the printable form of boarding in english language

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


(=>
    (and
        (instance ?B Boarding)
        (agent ?B ?AGENT)
        (patient ?B ?V))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (not
                (onboard ?A ?V)))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (onboard ?A ?V))))
Mid-level-ontology.kif 14946-14957
(=>
    (and
        (instance ?B Boarding)
        (patient ?B ?V))
    (instance ?V Vehicle))
Mid-level-ontology.kif 14940-14944

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 1953-1964


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