ParkingRegion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ParkingRegion

ParkingRegion(parking area)

parking_space, parking_zone

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 32-33
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 31-31	Parking area is a subclass of region

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 44-44	Disabled parking is a subclass of parking area
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 61-61	Street parking is a subclass of parking area
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 34-34

antecedent

No TPTP formula. May not be expressible in strict first order.

TransportDetail.kif 36-42

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

consequent

No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	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
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 132-141	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
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 78-88	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