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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SequenceFunction
SequenceFunction(sequence function)

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


s__documentation(s__SequenceFunction,s__ChineseLanguage,'"这是 OneToOneFunction Class, 它的范围 是 PositiveInteger 的子类别。"')

chinese_format.kif 1997-1998
s__documentation(s__SequenceFunction,s__EnglishLanguage,'"The Class of OneToOneFunctions whose rangeis a subclass of the PositiveIntegers."')

Merge.kif 3279-3280
s__instance(s__OneToOneFunction,s__SetOrClass)

s__instance(s__SequenceFunction,s__SetOrClass)

s__subclass(s__SequenceFunction,s__OneToOneFunction)

Merge.kif 3277-3277 Sequence function is a subclass of one to one function

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


s__format(s__ChineseLanguage,s__SequenceFunction,'"%1 的 sequence 功能"')

domainEnglishFormat.kif 2247-2247
s__format(s__ChineseTraditionalLanguage,s__SequenceFunction,'"%1 的 sequence 功能"')

domainEnglishFormat.kif 2246-2246
s__format(s__EnglishLanguage,s__SequenceFunction,'"the sequence function of %1"')

domainEnglishFormat.kif 2245-2245
s__termFormat(s__ChineseLanguage,s__SequenceFunction,'"序列函数"')

chinese_format.kif 919-919
s__termFormat(s__EnglishLanguage,s__SequenceFunction,'"sequence function"')

english_format.kif 1050-1050

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


( ! [V__CLASS,V__SEQ] :
   ((s__instance(V__CLASS,s__Class) =>
       (((s__instance(V__SEQ,s__SequenceFunction) &
             s__range(V__SEQ,V__CLASS))
         =>
         (s__subclass(V__CLASS,s__Integer)))))
   )
)

Merge.kif 3282-3286


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