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

Formal Language: 



KB Term:  Term intersection
English Word: 

  onboard

 Sigma KEE - onboard
onboard

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


(documentation onboard EnglishLanguage "(onboard ?OBJ ?VEHICLE) means that the SelfConnectedObject ?OBJ is inside the Vehicle ?VEHICLE.") Mid-level-ontology.kif 16816-16817
(domain onboard 1 SelfConnectedObject) Mid-level-ontology.kif 16818-16818
(domain onboard 2 Vehicle) Mid-level-ontology.kif 16819-16819
(instance onboard BinaryPredicate) Mid-level-ontology.kif 16820-16820
(subrelation onboard located) Mid-level-ontology.kif 16821-16821

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


(format ChineseLanguage onboard "%1 是 onboard %2 ") domainEnglishFormat.kif 4027-4027
(format ChineseTraditionalLanguage onboard "%1 是 onboard %2 ") domainEnglishFormat.kif 4026-4026
(format EnglishLanguage onboard "%1 is onboard %2") domainEnglishFormat.kif 4025-4025
(termFormat ChineseLanguage onboard "在船上") domainEnglishFormat.kif 42097-42097
(termFormat ChineseTraditionalLanguage onboard "在船上") domainEnglishFormat.kif 42096-42096
(termFormat EnglishLanguage onboard "onboard") domainEnglishFormat.kif 42095-42095

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


(=>
    (and
        (onboard ?O ?V)
        (instrument ?T ?V)
        (instance ?T Transportation))
    (patient ?T ?O))		 Mid-level-ontology.kif 16827-16832
(=>
    (onboard ?O ?V)
    (contains ?V ?O))		 Mid-level-ontology.kif 16823-16825

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


(=>
    (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 16803-16814
(=>
    (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 16844-16856


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