ParkingRegion - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ParkingRegion EnglishLanguage "A ParkingRegion is a Region where TransportationDevice is kept temporarily")	TransportDetail.kif 32-33
(subclass ParkingRegion Region)	TransportDetail.kif 31-31	subclass ParkingRegion and Region

appearance as argument number 2

(subclass DisabledParking ParkingRegion)	TransportDetail.kif 44-44	subclass DisabledParking and ParkingRegion
(subclass StreetParking ParkingRegion)	TransportDetail.kif 61-61	subclass StreetParking and ParkingRegion
(termFormat EnglishLanguage ParkingRegion "parking area")	TransportDetail.kif 34-34

antecedent

(=>
    (instance ?PARK ParkingRegion)
    (hasPurpose ?PARK
        (and
            (playsRoleInEvent ?PARK destination ?EVENT)
            (playsRoleInEvent ?TD patient ?EVENT)
            (instance ?TD TransportationDevice))))

TransportDetail.kif 36-42

instance Physical and ParkingRegion
hasPurpose Physical and playsRoleInEvent Physical, destination and entity playsRoleInEvent entity, patient and entity instance entity and TransportationDevice

consequent

(=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility)))	TransportDetail.kif 153-171	capability ValetParking, agent and Organization customer CognitiveAgent and Organization located Organization and Object instance Process and Arriving agent Process and CognitiveAgent patient Process and Entity destination Process and Object occupiesPosition Human, Valet and Organization modalAttribute entity instance entity and ValetParking agent entity and Human patient entity and Entity destination entity and entity instance entity and ParkingRegion and Possibility
(=> (attribute ?H Valet) (hasPurpose ?H (and (instance ?VEHICLE Vehicle) (instance ?PUT Putting) (destination ?PUT ?PARK) (instance ?PARK ParkingRegion) (patient ?PUT ?VEHICLE) (agent ?PUT ?H))))	TransportDetail.kif 132-141	attribute Object and Valet hasPurpose Object and instance entity and Vehicle instance entity and Putting destination entity and entity instance entity and ParkingRegion patient entity and entity agent entity and Object
(=> (instance ?PARK ParkingLot) (exists (?C ?N) (and (located ?C ?PARK) (forall (?SLOT) (=> (member ?SLOT ?C) (instance ?SLOT ParkingRegion))) (memberCount ?C ?N) (greaterThan ?N 1))))	TransportDetail.kif 78-88	instance Object and ParkingLot Collection Integer located Collection and Object Object member Object and Collection instance Object and ParkingRegion memberCount Collection and Integer greaterThan Integer and 1

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: