TreeView Knowledge Base Browser

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

If a relation is an instance of binary function,
then the relation %&has 2 argument(s)

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

KB Term:			Term intersection

English Word: