passenger - Sigma Knowledge base Browser

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 31876-31877
(instance passenger CaseRole)	Mid-level-ontology.kif 31874-31874	passenger is an instance of case role
(subrelation passenger objectTransferred)	Mid-level-ontology.kif 31875-31875	passenger is a subrelation of object transferred

appearance as argument number 2

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

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 31886-31897	If an agent is a passenger in a transfer and an object is an instance of vehicle and the object is an instrument for the transfer, then there doesn't exist a process such that the time of existence of the process takes place during the time of existence of the transfer and the process is an instance of guiding and the agent is an agent of the process and the object is an instrument for the process
(=> (passenger ?PROC ?PASS) (instance ?PROC Transportation))	Mid-level-ontology.kif 31882-31884	If an object is a passenger in a transfer, then the transfer is an instance of transportation

consequent

(=>
    (instance ?TERM TransitTerminal)
    (hasPurpose ?TERM
        (exists (?T ?P ?)
            (and
                (instance ?T Translocation)
                (locatedAtTime ?P ?TIME ?TERM)
                (or
                    (passenger ?T ?P)
                    (conveyance ?T ?P))
                (equal ?TIME
                    (or
                        (BeginFn
                            (WhenFn ?T))
                        (EndFn
                            (WhenFn ?T))))))))

Transportation.kif 3649-3662

If a physical is an instance of transit terminal,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the other entity located at time the entityIME for the physical and the other entity is a passenger in the entity or the other entity is a conveyance during the entity and the entityIME is equal to the beginning of the time of existence of the entity or the end of the time of existence of the entity

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: