ParkingRegion - Sigma Knowledge base Browser

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

例 Physical and ParkingRegion
有目的 Physical and entity entity 例 entity and Putting Physical 對於 entity 在事件目的地 plays 角色 entity 對於 entity 在事件患者 plays 角色例 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)) (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	能力 ValetParking, agent and Organization Organization 是 CognitiveAgent 的 customer 位於 Organization and Object 例 Process and 到達 agent Process and CognitiveAgent 患者 Process and Entity 目的地 Process and Object Human 佔據位置 Human, Valet and Organization 模態屬性 entity entity 例 entity and ValetParking agent entity and Human 患者 entity and Entity 目的地 entity and entity 例 entity and ParkingRegion and 可能性
(=> (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	attribute Object and Valet 有目的 Object and 例 entity and 車輛例 entity and Putting 目的地 entity and entity 例 entity and ParkingRegion 患者 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 82-92	例 Object and 停車場 Collection Integer 位於 Collection and Object Physical 會員 Physical and Collection 例 Physical and ParkingRegion Integer 是 Collection 的 member 計數比較多 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 3.0 is open source software produced by Articulate Software and its partners

(documentation ParkingRegion EnglishLanguage "A ParkingRegion is a Region where TransportationDevice is kept temporarily")	TransportDetail.kif 32-33
(subclass ParkingRegion Region)	TransportDetail.kif 31-31	子類 ParkingRegion and Region
(typicalPart ParkingRegion TransitTerminal)	Transportation.kif 3646-3646	ParkingRegion typically 是中轉站的 part

(subclass AirportApron ParkingRegion)	Transportation.kif 1271-1271	子類 AirportApron and ParkingRegion
(subclass DisabledParking ParkingRegion)	TransportDetail.kif 46-46	子類 DisabledParking and ParkingRegion
(subclass StreetParking ParkingRegion)	TransportDetail.kif 65-65	子類 StreetParking and ParkingRegion
(termFormat EnglishLanguage ParkingRegion "parking area")	TransportDetail.kif 34-34	子類 StreetParking and ParkingRegion

KB Term:			Term intersection

English Word: