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


KB Term:  Term intersection
English Word: 

Sigma KEE - Trip
Trip(trip)

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


(subclass Trip Motion) Transportation.kif 4384-4384 Trip is a subclass of motion
(documentation Trip EnglishLanguage "Trip is the subclass of Motions along a TransitRoute or Transitway.") Transportation.kif 4386-4387 Trip is a subclass of motion

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


(subclass IntermodalTrip Trip) Transportation.kif 4389-4389 Intermodal trip is a subclass of trip
(subclass WorkingTrip Trip) TravelPolicies.kif 347-347 WorkingTrip is a subclass of trip
(subclass BusinessTrip Trip) TravelPolicies.kif 390-390 BusinessTrip is a subclass of trip
(termFormat EnglishLanguage Trip "trip") domainEnglishFormat.kif 59191-59191 BusinessTrip is a subclass of trip
(termFormat ChineseTraditionalLanguage Trip "旅") domainEnglishFormat.kif 59192-59192 BusinessTrip is a subclass of trip
(termFormat ChineseLanguage Trip "旅") domainEnglishFormat.kif 59193-59193 BusinessTrip is a subclass of trip

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


(=>
    (instance ?T Trip)
    (exists (?TRANSLOCATION ?HUMAN)
        (and
            (instance ?TRANSLOCATION Translocation)
            (instance ?HUMAN Human)
            (agent ?TRANSLOCATION ?HUMAN)
            (agent ?T ?HUMAN)
            (subProcess ?TRANSLOCATION ?T))))		 TravelPolicies.kif 413-421 If X is an instance of trip, then there exist Y, Z such that Y is an instance of translocation, Z is an instance of human, Z is an agent of Y, Z is an agent of X, and Y is a subprocess of X

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


(=>
    (instance ?T WorkingTrip)
    (exists (?TRIP ?HUMAN)
        (and
            (instance ?TRIP Trip)
            (agent ?TRIP ?HUMAN)
            (hasPurpose ?TRIP
                (exists (?Work)
                    (and
                        (instance ?Work Working)
                        (agent ?Work ?HUMAN)
                        (holdsDuring ?Work ?TRIP)))))))		 TravelPolicies.kif 349-360 If X is an instance of WorkingTrip, then there exist Y, Z such that Y is an instance of trip, Z is an agent of Y, Y has the purpose there exists W such that W is an instance of working, Z is an agent of W, and Y holds during W
(=>
    (instance ?T BusinessTrip)
    (exists (?TRIP ?HUMAN ?ORG ?AREA)
        (and
            (instance ?TRIP Trip)
            (agent ?TRIP ?HUMAN)
            (organizationRepresentative ?HUMAN ?ORG)
            (hasPurpose ?TRIP
                (exists (?WORK)
                    (and
                        (instance ?WORK Working)
                        (agent ?WORK ?HUMAN)
                        (holdsDuring ?WORK ?TRIP))))
            (not
                (and
                    (basedIn ?HUMAN ?ORG ?AREA)
                    (located ?WORK ?AREA))))))		 TravelPolicies.kif 392-408 If X is an instance of BusinessTrip, then there exist Y, Z,, , W and V such that Y is an instance of trip and Z is an agent of Y and an agent that is an organization representative (in some transaction) Z and W and Y has the purpose there exists U such that U is an instance of working and Z is an agent of U and Y holds during U and ~{ basedIn Z, W and V } or ~{ U is located at V }


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