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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Boarding

Sigma KEE - Boarding
Boarding(登机)

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 17404-17405
(externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Boarding.easyjet.a319.arp.jpg") pictureList.kif 1668-1668
(externalImage Boarding "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ CBP_female_officers_going_aboard_a_ship.jpg") pictureList.kif 2118-2118
(relatedInternalConcept Boarding Deboarding) Mid-level-ontology.kif 17445-17445 登机deboarding 是 内部相关
(subclass Boarding Translocation) Mid-level-ontology.kif 17403-17403 登机易位subclass

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


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

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 17413-17424
(=>
    (and
        (instance ?B Boarding)
        (patient ?B ?V))
    (instance ?V Vehicle))
Mid-level-ontology.kif 17407-17411

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