TreeView Knowledge Base Browser

appearance as argument number 1

(documentation BinaryFunction ChineseLanguage "这是个需要两个参数的 Function Class。")	Merge.kif 3493-3493
(documentation BinaryFunction EnglishLanguage "The Class of Functions that require two arguments.")	Merge.kif 3491-3492
(subclass BinaryFunction Function)	Merge.kif 3488-3488
(subclass BinaryFunction InheritableRelation)	Merge.kif 3490-3490
(subclass BinaryFunction TernaryRelation)	Merge.kif 3489-3489

appearance as argument number 2

(format EnglishLanguage BinaryFunction "the binary function of %1 and %2")	domainEnglishFormat.kif 79-79
(instance AbortedFn BinaryFunction)	MilitaryProcesses.kif 2377-2377
(instance AbortedLaunchFn BinaryFunction)	MilitaryProcesses.kif 2443-2443
(instance AbortedMissionFn BinaryFunction)	MilitaryProcesses.kif 2397-2397
(instance AdditionFn BinaryFunction)	Merge.kif 4853-4853
(instance AlbumCopiesFn BinaryFunction)	Music.kif 926-926
(instance AttrFn BinaryFunction)	Merge.kif 1830-1830
(instance BirthsPerThousandFn BinaryFunction)	People.kif 90-90
(instance BorderFn BinaryFunction)	Geography.kif 678-678
(instance CellPartFn BinaryFunction)	VirusProteinAndCellPart.kif 582-582
(instance ChildrenBornPerWomanFn BinaryFunction)	People.kif 446-446
(instance ClickThroughRateFn BinaryFunction)	UXExperimentalTerms.kif 3513-3513
(instance ContestFn BinaryFunction)	Music.kif 1040-1040
(instance DayFn BinaryFunction)	Merge.kif 8706-8706
(instance DeathsPerThousandFn BinaryFunction)	People.kif 121-121
(instance DeathsPerThousandLiveBirthsFn BinaryFunction)	People.kif 242-242
(instance DensityFn BinaryFunction)	Merge.kif 6852-6852
(instance DirectionalSubregionFn BinaryFunction)	Geography.kif 473-473
(instance DivisionFn BinaryFunction)	Merge.kif 4890-4890
(instance EditionFn BinaryFunction)	Merge.kif 15621-15621
(instance ExponentiationFn BinaryFunction)	Merge.kif 4975-4975
(instance FemaleLifeExpectancyAtBirthFn BinaryFunction)	People.kif 401-401
(instance FiscalYearStartingFn BinaryFunction)	Economy.kif 3724-3724
(instance GPIFn BinaryFunction)	UXExperimentalTerms.kif 3360-3360
(instance GPSFn BinaryFunction)	UXExperimentalTerms.kif 3327-3327

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain distributes 1 BinaryFunction)	Merge.kif 3840-3840
(domain distributes 2 BinaryFunction)	Merge.kif 3841-3841
(domain identityElement 1 BinaryFunction)	Merge.kif 5368-5368

antecedent

(=>
(instance ?FUNCTION BinaryFunction)
(valence ?FUNCTION 2))

Merge.kif 3495-3497

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

KB Term:			Term intersection

English Word: