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	Parking area is a subclass of region

appearance as argument number 2

(subclass AirportApron ParkingRegion)	Transportation.kif 1271-1271	Airport apron is a subclass of parking area
(subclass DisabledParking ParkingRegion)	TransportDetail.kif 46-46	Disabled parking is a subclass of parking area
(subclass StreetParking ParkingRegion)	TransportDetail.kif 65-65	Street parking is a subclass of parking area
(termFormat EnglishLanguage ParkingRegion "parking area")	TransportDetail.kif 34-34	Street parking is a subclass of parking area

antecedent

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

TransportDetail.kif 36-44

If a physical is an instance of parking area,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical plays role in event destination for the entity and the other entity plays role in event patient for the entity and the other entity is an instance of transportation device

consequent

(=> (and (capability ValetParking agent ?AGENT) (customer ?CUST ?AGENT) (located ?AGENT ?LOC) (instance ?D Arriving) (agent ?D ?CUST) (patient ?D ?VEHICLE) (destination ?D ?LOC)) (exists (?VALET) (and (occupiesPosition ?VALET Valet ?AGENT) (modalAttribute (exists (?VP ?PARK) (and (instance ?VP ValetParking) (agent ?VP ?VALET) (patient ?VP ?VEHICLE) (destination ?VP ?PARK) (instance ?PARK ParkingRegion))) Possibility))))	TransportDetail.kif 157-176	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then there exists a human such that the human holds the position of valet in the organization and the statement there exist another entity and a third entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at the third entity and the third entity is an instance of parking area has the modal force of 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 136-145	If valet is an attribute of an object, then the object has the purpose an entity is an instance of vehicle and another entity is an instance of putting and the other entity ends up at a third entity and the third entity is an instance of parking area and the entity is a patient of the other entity and the object is an agent of the other entity
(=> (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 82-92	If an object is an instance of parking lot, then there exist a collection and an integer such that the collection is located at the object and for all a physical if the physical is a member of the collection, then the physical is an instance of parking area and the integer is a member count of the collection and the integer is greater than 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: