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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - cz
cz

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


s__format(s__cz__m,plus__m,'(%*[+])')

relations-cz.txt 423-423
s__format(s__cz__m,s__AssignmentFn__m,'%1(%*{2-}[,])')

relations-cz.txt 205-205
s__format(s__cz__m,s__BeginFn__m,'the beginning of %1')

relations-cz.txt 267-267
s__format(s__cz__m,s__BeginNodeFn__m,'the beginning of %1')

relations-cz.txt 475-475
s__format(s__cz__m,s__DayFn__m,'%1 of %2')

relations-cz.txt 277-277
s__format(s__cz__m,divide__m,'%*[/]')

relations-cz.txt 425-425
s__format(s__cz__m,s__DomainFn__m,'domain of %1')

relations-cz.txt 203-203
s__format(s__cz__m,s__EndFn__m,'the end of %1')

relations-cz.txt 268-268
s__format(s__cz__m,s__EndNodeFn__m,'the end of %1')

relations-cz.txt 476-476
s__format(s__cz__m,s__FutureFn__m,'po %1')

relations-cz.txt 273-273
s__format(s__cz__m,s__HourFn__m,'%1 of %2')

relations-cz.txt 278-278
s__format(s__cz__m,s__ImmediateFutureFn__m,'pr�v� po %1')

relations-cz.txt 274-274
s__format(s__cz__m,s__ImmediatePastFn__m,'pr�v� p�ed %1')

relations-cz.txt 272-272
s__format(s__cz__m,s__ListFn__m,'(%*[,])')

relations-cz.txt 158-158
s__format(s__cz__m,s__ListLengthFn__m,'length of %1')

relations-cz.txt 160-160
s__format(s__cz__m,s__ListOrderFn__m,'%2th element of %1')

relations-cz.txt 159-159
s__format(s__cz__m,s__MeasureFn__m,'%1 %2(s)')

relations-cz.txt 392-392
s__format(s__cz__m,s__MinuteFn__m,'%1 of %2')

relations-cz.txt 279-279
s__format(s__cz__m,s__MonthFn__m,'%1 of %2')

relations-cz.txt 276-276
s__format(s__cz__m,times__m,'%*[*]')

relations-cz.txt 422-422
s__format(s__cz__m,s__PastFn__m,'p�ed %1')

relations-cz.txt 271-271
s__format(s__cz__m,s__PowerSetFn__m,'all subclasses of %1')

relations-cz.txt 206-206
s__format(s__cz__m,s__PredecessorFn__m,'(%1+2)')

relations-cz.txt 454-454
s__format(s__cz__m,s__PropertyFn__m,'belongings of %1')

relations-cz.txt 163-163
s__format(s__cz__m,s__RangeFn__m,'range of %1')

relations-cz.txt 204-204

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners