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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Valet

Sigma KEE - Valet
Valetvalet

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


s__documentation(s__Valet,s__EnglishLanguage,'a %&Valet is a person whose primary occupation it is to park cars for people')

TransportDetail.kif 122-123
s__instance(s__Valet,s__SetOrClass)

TransportDetail.kif 121-121

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


s__termFormat(s__EnglishLanguage,s__Valet,'valet')

TransportDetail.kif 124-124

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


No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 130-139
( ∀ [V__H]
   (s__attribute(V__H,s__Valet) ⇒
     s__occupation(V__H,s__OccupationFn(s__Driving)))
)

TransportDetail.kif 126-128

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


No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
( ∀ [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


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