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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BinaryFunction

Sigma KEE - BinaryFunction
BinaryFunction(binary function)

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


s__documentation(s__BinaryFunction,s__ChineseLanguage,'"这是个需要两个参数的 Function Class。"')

chinese_format.kif 1999-1999
s__documentation(s__BinaryFunction,s__EnglishLanguage,'"The Class of Functions that require two arguments."')

Merge.kif 3284-3285
s__instance(s__Function,s__SetOrClass)

s__instance(s__BinaryFunction,s__SetOrClass)

s__subclass(s__BinaryFunction,s__Function)

Merge.kif 3280-3280 Binary function is a subclass of function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__BinaryFunction,s__InheritableRelation)

Merge.kif 3282-3282 Binary function is a subclass of inheritable relation
s__instance(s__BinaryFunction,s__SetOrClass)

s__subclass(s__BinaryFunction,s__TernaryRelation)

s__instance(s__TernaryRelation,s__SetOrClass)

Merge.kif 3281-3281 Binary function is a subclass of ternary relation

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


s__format(s__ChineseLanguage,s__BinaryFunction,'"%1 和 %2 的 binary 功能"')

domainEnglishFormat.kif 280-280
s__format(s__ChineseTraditionalLanguage,s__BinaryFunction,'"%1 和 %2 的 binary 功能"')

domainEnglishFormat.kif 279-279
s__format(s__EnglishLanguage,s__BinaryFunction,'"the binary function of %1 and %2"')

domainEnglishFormat.kif 278-278
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__AbortedFn__m,s__BinaryFunction)

MilitaryProcesses.kif 2390-2390 Aborted is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__AbortedLaunchFn__m,s__BinaryFunction)

MilitaryProcesses.kif 2456-2456 Aborted launch is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__AbortedMissionFn__m,s__BinaryFunction)

MilitaryProcesses.kif 2410-2410 Aborted mission is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__AdditionFn__m,s__BinaryFunction)

Merge.kif 4524-4524 Addition is an instance of binary function
s__instance(s__AlbumCopiesFn__m,s__BinaryFunction)

s__instance(s__BinaryFunction,s__SetOrClass)

Music.kif 920-920 Album copies function is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__AttrFn__m,s__BinaryFunction)

Merge.kif 1683-1683 Attr is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__BirthsPerThousandFn__m,s__BinaryFunction)

People.kif 90-90 Births per thousand is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__BorderFn__m,s__BinaryFunction)

Geography.kif 685-685 Border is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__CellPartFn__m,s__BinaryFunction)

VirusProteinAndCellPart.kif 583-583 Cell part is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__ChildrenBornPerWomanFn__m,s__BinaryFunction)

People.kif 446-446 Children born per woman is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__ClickThroughRateFn__m,s__BinaryFunction)

UXExperimentalTerms.kif 3524-3524 Click-through rate is an instance of binary function
s__instance(s__ContestFn__m,s__BinaryFunction)

s__instance(s__BinaryFunction,s__SetOrClass)

Music.kif 1034-1034 Contest function is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__DayFn__m,s__BinaryFunction)

Merge.kif 8060-8060 Day is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__DeathsPerThousandFn__m,s__BinaryFunction)

People.kif 121-121 Deaths per thousand is an instance of binary function
s__instance(s__DeathsPerThousandLiveBirthsFn__m,s__BinaryFunction)

s__instance(s__BinaryFunction,s__SetOrClass)

People.kif 242-242 Deaths per thousand live births is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__DensityFn__m,s__BinaryFunction)

Merge.kif 6357-6357 Density is an instance of binary function
s__instance(s__DepartmentOfFn__m,s__BinaryFunction)

s__instance(s__BinaryFunction,s__SetOrClass)

Mid-level-ontology.kif 16050-16050 Department is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__DepartmentOfPreventingFn__m,s__BinaryFunction)

Mid-level-ontology.kif 16087-16087 DepartmentOfPreventingFn is an instance of binary function
s__instance(s__DirectionalSubregionFn__m,s__BinaryFunction)

s__instance(s__BinaryFunction,s__SetOrClass)

Geography.kif 476-476 Directional subregion is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__DivisionFn__m,s__BinaryFunction)

Merge.kif 4556-4556 Division is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__EditionFn__m,s__BinaryFunction)

Merge.kif 14372-14372 Edition is an instance of binary function
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__ExponentiationFn__m,s__BinaryFunction)

Merge.kif 4633-4633 Exponentiation is an instance of binary function

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__distributes__m,n__1,s__BinaryFunction)

Merge.kif 3594-3594 The number 1 argument of distributes is an instance of binary function
s__domain(s__distributes__m,n__2,s__BinaryFunction)

Merge.kif 3595-3595 The number 2 argument of distributes is an instance of binary function
s__domain(s__identityElement__m,n__1,s__BinaryFunction)

Merge.kif 5001-5001 The number 1 argument of identity element is an instance of binary function

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


( ! [V__FUNCTION] :
   ((s__instance(V__FUNCTION,s__BinaryFunction) =>
       (s__valence(V__FUNCTION,n__2)))
   )
)

Merge.kif 3287-3289


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 3.0 is open source software produced by Articulate Software and its partners