ParkingLot - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ParkingLot

ParkingLot(parking lot)

car_park, park, parking_area, parking_lot

appearance as argument number 1

(documentation ParkingLot EnglishLanguage "A ParkingLot is a GeographicArea that contains greaterThan one [1] ParkingRegion")	TransportDetail.kif 78-79
(subclass ParkingLot GeographicArea)	TransportDetail.kif 77-77	Parking lot is a subclass of geographic area

appearance as argument number 2

(termFormat ChineseLanguage ParkingLot "停车场")	domainEnglishFormat.kif 44485-44485
(termFormat ChineseTraditionalLanguage ParkingLot "停車場")	domainEnglishFormat.kif 44484-44484
(termFormat EnglishLanguage ParkingLot "Parking Lot")	TransportDetail.kif 80-80
(termFormat EnglishLanguage ParkingLot "parking lot")	domainEnglishFormat.kif 44483-44483

antecedent

(=> (and (possesses ?BUS ?PARK) (instance ?BUS CommercialAgent) (instance ?PARK ParkingLot) (instance ?BLDG Building) (located ?BUS ?BLDG) (customer ?BUS ?CUST) (holdsDuring ?T (located ?CUST ?BLDG)) (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (agent ?DRIVE ?CUST) (destination ?DRIVE ?BLDG)) (holdsDuring ?T (confersRight (and (instance ?PUT Keeping) (destination ?PUT ?PARK) (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))	TransportDetail.kif 106-125	If a cognitive agent possesses an object and the cognitive agent is an instance of commercial agent and the object is an instance of parking lot and another object is an instance of building and the cognitive agent is located at the other object and an agent is a customer of the cognitive agent and the agent is located at the other object holds during a time position and a process is an instance of driving and an entity is a patient of the process and the agent is an agent of the process and the process ends up at the other object, then the cognitive agent allows the agent to perform task of the type another entity is an instance of keeping and the other entity ends up at the object and the entity is a patient of the other entity holds during the time position
(=> (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

consequent

(=> (and (instance ?SM StripMall) (instance ?RS1 RetailStore) (part ?RS1 ?SM)) (exists (?PL) (and (instance ?PL ParkingLot) (orientation ?RS1 ?PL Adjacent))))	Medicine.kif 5135-5143	If an object is an instance of StripMall and another object is an instance of retail store and the other object is a part of the object, then there exists a third object such that the third object is an instance of parking lot and the other object is adjacent to the third object
(=> (instance ?PARK ParkingGarage) (exists (?LOT) (and (instance ?LOT ParkingLot) (located ?LOT ?PARK))))	TransportDetail.kif 97-102	If an object is an instance of parking garage, then there exists a physical such that the physical is an instance of parking lot and the physical is located at the object

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