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

Formal Language: 



KB Term:  Term intersection
English Word: 

  passenger

 Sigma KEE - passenger
passenger

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


(documentation passenger EnglishLanguage "The CaseRole of being a passenger on a vehicle, rather than its driver or power source.") Mid-level-ontology.kif 30786-30787
(instance passenger CaseRole) Mid-level-ontology.kif 30784-30784
(subrelation passenger objectTransferred) Mid-level-ontology.kif 30785-30785

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


(format EnglishLanguage passenger "%2 is a passenger in %1") Mid-level-ontology.kif 30789-30789
(termFormat EnglishLanguage passenger "passenger") Mid-level-ontology.kif 30790-30790

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


(=>
    (and
        (passenger ?PROC ?PASS)
        (instance ?V Vehicle)
        (instrument ?PROC ?V))
    (not
        (exists (?G)
            (and
                (during
                    (WhenFn ?G)
                    (WhenFn ?PROC))
                (instance ?G Guiding)
                (agent ?G ?PASS)
                (instrument ?G ?V)))))		 Mid-level-ontology.kif 30796-30807
(=>
    (passenger ?PROC ?PASS)
    (instance ?PROC Transportation))		 Mid-level-ontology.kif 30792-30794


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