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 32457-32458
(domain passenger 1 Transfer)	Mid-level-ontology.kif 32455-32455	The number 1 argument of passenger is an instance of transfer
(domain passenger 2 Object)	Mid-level-ontology.kif 32456-32456	The number 2 argument of passenger is an instance of object
(instance passenger CaseRole)	Mid-level-ontology.kif 32453-32453	passenger is an instance of case role
(subrelation passenger objectTransferred)	Mid-level-ontology.kif 32454-32454	passenger is a subrelation of object transferred

appearance as argument number 2

(format EnglishLanguage passenger "%2 is %n a passenger in %1")	Mid-level-ontology.kif 32460-32460
(termFormat EnglishLanguage passenger "passenger")	Mid-level-ontology.kif 32461-32461

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 32467-32478	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 32463-32465	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 3653-3666

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: