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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AfternoonFn
AfternoonFn

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


s__documentation(s__AfternoonFn__m,s__EnglishLanguage,'"A UnaryFunction that returns the class of Afternoons of the given Day."')

Merge.kif 8485-8486
s__domain(s__AfternoonFn__m,n__1,s__Day)

Merge.kif 8482-8482 The number 1 argument of AfternoonFn is an instance of day
s__instance(s__AfternoonFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8481-8481 AfternoonFn is an instance of partial valued relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__AfternoonFn__m,s__TemporalRelation)

Merge.kif 8479-8479 AfternoonFn is an instance of temporal relation
s__instance(s__UnaryFunction,s__Class)

s__instance(s__AfternoonFn__m,s__UnaryFunction)

Merge.kif 8480-8480 AfternoonFn is an instance of unary function
s__range(s__AfternoonFn__m,s__Afternoon)

Merge.kif 8483-8483 The range of AfternoonFn is an instance of afternoon

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


s__format(s__ChineseLanguage,s__AfternoonFn__m,'"%1 的 afternoon "')

domainEnglishFormat.kif 2711-2711
s__format(s__ChineseTraditionalLanguage,s__AfternoonFn__m,'"%1 的 afternoon "')

domainEnglishFormat.kif 2710-2710
s__format(s__EnglishLanguage,s__AfternoonFn__m,'"the afternoon of %1"')

domainEnglishFormat.kif 2709-2709

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


( ! [V__D,V__E] :
   (((s__instance(V__D,s__Day) &
         s__instance(V__E,s__Afternoon))
       =>
       (((V__E = s__AfternoonFn(V__D))
         =>
         (s__during(V__E,V__D)))))
)
)

Merge.kif 8488-8490


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