Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ValetParking

Sigma KEE - ValetParking
ValetParkingvalet_parking

appearance as argument number 1
-------------------------


s__documentation(s__ValetParking,s__EnglishLanguage,'ValetParking refers to the process of having a service employee of an establishment park a customers car for him or her')

TransportDetail.kif 142-143
s__instance(s__ServiceProcess,s__SetOrClass)

TransportDetail.kif 141-141

appearance as argument number 2
-------------------------


s__termFormat(s__EnglishLanguage,s__ValetParking,'valet parking')

TransportDetail.kif 144-144

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
( ∀ [V__VP,V__VEHICLE,V__A]
   ((s__instance(V__VP,s__ValetParking) ∧
       s__patient(V__VP,V__VEHICLE)
     ∧
     s__instance(V__A,s__Arriving) ∧
     s__patient(V__A,V__VEHICLE))

s__meetsTemporally(s__EndFn(s__WhenFn(V__A))
,s__BeginFn(s__WhenFn(V__VP))))
)

TransportDetail.kif 171-179
( ∀ [V__AGENT]
   (s__capability(s__ValetParking,s__agent__m,V__AGENT)
   ⇒
   (∃ [V__VALET]
     s__occupiesPosition(V__VALET,s__Valet,V__AGENT)))
)

TransportDetail.kif 146-149

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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